The decision problem for linear temporal logic

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

zbMATH Keywords

Borel sets of realslong-linereal orderSuslin linesuniversal monadic second-order sentences

Mathematics Subject Classification ID

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