Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T

DOI10.1007/978-3-540-87531-4_23zbMath1156.03321OpenAlexW1585216207MaRDI QIDQ3540187

Angelo Montanari, Guido Sciavicco, I. M. Hodkinson

Publication date: 20 November 2008

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-87531-4_23

Mathematics Subject Classification ID

Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items

A survey on temporal logics for specifying and verifying real-time systems ⋮ \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes ⋮ Inference Rules in Multi-agents’ Temporal Logics ⋮ The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT ⋮ On Temporal and Separation Logics ⋮ On a Temporal Logic of Prefixes and Infixes.