TY  - RPRT
TI  - Applications of Interval-based Temporal Separation: the Reactivity Normal Form, Inverse $Π$, Craig Interpolation and Beth Definability
AU  - Dimitar P. Guelev
PY  - 2026
UR  - https://arxiv.org/abs/2512.08640
ID  - 2512.08640
ER  -