Decidability and incompleteness results for first-order temporal logics of linear time

DOI10.1080/11663081.1992.10510779zbMath0790.03019OpenAlexW2018216922MaRDI QIDQ4275689

Stephan Merz

Publication date: 21 January 1994

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.1992.10510779

zbMATH Keywords

semanticsaxiomatizabilityfirst-order temporal logicsvalidity problemflexible interpretations of the predicate symbolsrigid monadic predicate symbols

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25)

Related Items (11)

A survey on temporal logics for specifying and verifying real-time systems ⋮ Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting ⋮ A decidability result for the model checking of infinite-state systems ⋮ Proof theory for functional modal logic ⋮ On the axiomatizability of some first-order spatio-temporal theories ⋮ A Branching Time Logical System for Open Distributed Systems Development ⋮ Decidability of infinite-state timed CCP processes and first-order LTL ⋮ Mechanising first-order temporal resolution ⋮ Saturated calculus for Horn-like sequents of a complete class of a linear temporal first order logic ⋮ The serializability problem for a temporal logic of transaction queries ⋮ Decidable fragments of first-order temporal logics

Cites Work

• Propositional dynamic logic of nonregular programs
• On the interpretability of arithmetic in temporal logic
• Concerning the semantic consequence relation in first-order temporal logic
• A complete axiomatic characterization of first-order temporal logic of linear time
• The power of temporal proofs
• Incompleteness of first-order temporal logic with until
• Solvable cases of the decision problem
• Temporal logic can be more expressive
• Nonclausal deduction in first-order temporal logic
• Synthesis of Communicating Processes from Temporal Logic Specifications
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Decidability and incompleteness results for first-order temporal logics of linear time