Axiomatising first-order temporal logic: Until and since over linear time

DOI10.1007/BF00370836zbMath0864.03015MaRDI QIDQ2563451

M. A. Reynolds

Publication date: 15 June 1997

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

linear timeaxiomatisationfirst-order temporal logicfirst-order modal logicscompleteness of quantified formulasrational numbers flow of time

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (6)

Quantified epistemic logics for reasoning about knowledge in multi-agent systems ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ A decision procedure and complete axiomatization for projection temporal logic ⋮ On the axiomatizability of some first-order spatio-temporal theories ⋮ First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment ⋮ Decidable fragments of first-order temporal logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Arithmetical axiomatization of first-order temporal logic
• A complete axiomatic characterization of first-order temporal logic of linear time
• On some \(U,S\)-tense logics
• An axiomatization for until and since over the reals without the IRR rule
• A complete deductive-system for since-until branching-time logic
• Model theory for tense logics
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers

This page was built for publication: Axiomatising first-order temporal logic: Until and since over linear time