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 ${\phi }_u$, bounded metric modalities $\boldBox_t$ and…