The decision problem for linear temporal logic
From MaRDI portal
Publication:1062669
DOI10.1305/ndjfl/1093870820zbMath0573.03004OpenAlexW1990865424MaRDI QIDQ1062669
John P. Burgess, Yuri Gurevich
Publication date: 1985
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093870820
Descriptive set theory (03E15) Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Second- and higher-order model theory (03C85)
Related Items (18)
Metric temporal logic revisited ⋮ The Expressive Power of Temporal and First-Order Metric Logics ⋮ Metric temporal reasoning with less than two clocks ⋮ European Summer Meeting of the Association for Symbolic Logic ⋮ The complexity of the temporal logic with ``until over general linear time ⋮ Temporal logics over linear time domains are in PSPACE ⋮ The complexity of temporal logic over the reals ⋮ Decidability in elementary analysis. II ⋮ An axiomatization for until and since over the reals without the IRR rule ⋮ Timer formulas and decidable metric temporal logic ⋮ Decidable metric logics ⋮ Event-based time-stamped claim logic ⋮ Combining temporal logic systems ⋮ Decidability in elementary analysis. I ⋮ Decidable fragments of first-order temporal logics ⋮ Complexity of monodic guarded fragments over linear and real time ⋮ No future without (\textit{a hint of}) past. A finite basis for `almost future' temporal logic ⋮ Synthesis for continuous time
This page was built for publication: The decision problem for linear temporal logic