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

DOI10.1007/BF00370836MaRDI QIDQ2563451zbMATH OpenFDO

Authors Mark Alexander 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)

Recommendations

• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
• An axiomatization for until and since over the reals without the IRR rule
• Completeness theorem for a first order linear-time logic
• scientific article; zbMATH DE number 1536551

Cites work

• scientific article; zbMATH DE number 747023 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 3559512 (Why is no real title available?)
• scientific article; zbMATH DE number 1028824 (Why is no real title available?)
• scientific article; zbMATH DE number 1028834 (Why is no real title available?)
• scientific article; zbMATH DE number 757647 (Why is no real title available?)
• A complete axiomatic characterization of first-order temporal logic of linear time
• A complete deductive-system for since-until branching-time logic
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
• An axiomatization for until and since over the reals without the IRR rule
• Arithmetical axiomatization of first-order temporal logic
• Model theory for tense logics
• On some \(U,S\)-tense logics

Cited in

(17)

• Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics
• scientific article; zbMATH DE number 1678387 (Why is no real title available?)
• scientific article; zbMATH DE number 2086407 (Why is no real title available?)
• A survey on temporal logics for specifying and verifying real-time systems
• Nesting until and since in linear temporal logic
• An axiomatization for until and since over the reals without the IRR rule
• First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
• The temporal logic of linear time frames with inductions axiom
• A complete axiomatic characterization of first-order temporal logic of linear time
• On the Priorean temporal logic with \([d]\) over the real line
• Quantified epistemic logics for reasoning about knowledge in multi-agent systems
• A decision procedure and complete axiomatization for projection temporal logic
• Incompleteness of first-order temporal logic with until
• scientific article; zbMATH DE number 5790393 (Why is no real title available?)
• scientific article; zbMATH DE number 1536551 (Why is no real title available?)
• Decidable fragments of first-order temporal logics
• On the axiomatizability of some first-order spatio-temporal theories

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2563451)