Axiomatizing the monodic fragment of first-order temporal logic
From MaRDI portal
Publication:1849866
DOI10.1016/S0168-0072(01)00124-5zbMath1031.03023MaRDI QIDQ1849866
Frank Wolter, Michael Zakharyashchev
Publication date: 2 December 2002
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)
Related Items (16)
Quantified epistemic logics for reasoning about knowledge in multi-agent systems ⋮ Parameterized verification of leader/follower systems via first-order temporal logic ⋮ Non-finitely axiomatisable two-dimensional modal logics ⋮ On the freeze quantifier in Constraint LTL: Decidability and complexity ⋮ 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 ⋮ Second-order propositional modal logic: expressiveness and completeness results ⋮ The monodic fragment of propositional term modal logic ⋮ Mechanising first-order temporal resolution ⋮ Fair Derivations in Monodic Temporal Reasoning ⋮ Temporal Verification of Fault-Tolerant Protocols ⋮ First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment ⋮ The serializability problem for a temporal logic of transaction queries ⋮ Deductive verification of simple foraging robotic behaviours ⋮ Complexity of monodic guarded fragments over linear and real time ⋮ Temporal Logics of Knowledge and their Applications in Security
Cites Work
This page was built for publication: Axiomatizing the monodic fragment of first-order temporal logic
