Physiological Trace Logic