2 papers
cs.LO2026
Discrete Linear Ensemble Logic
Manfred Droste, Guo-Qiang Zhang
We study the discrete point-based fragment of Ensemble Logic $\EL(\Nat)$ over the natural numbers, a logic combining displacement , bounded metric modalities $\boldBox_t$ and…
cs.LO2024
Temporal Ensemble Logic
Guo-Qiang Zhang
We introduce Temporal Ensemble Logic (TEL), a monadic, first-order modal logic for linear-time temporal reasoning. TEL includes primitive temporal constructs such as ``always up to…