Pages that link to "Item:Q3540187"
From MaRDI portal
The following pages link to Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T (Q3540187):
Displaying 6 items.
- The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT (Q2251124) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Inference Rules in Multi-agents’ Temporal Logics (Q3013073) (← links)
- On Temporal and Separation Logics (Q5079764) (← links)
- On a Temporal Logic of Prefixes and Infixes. (Q5089182) (← links)
- \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes (Q6077844) (← links)
