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

DOI10.1007/BF00370836zbMATH Open0864.03015MaRDI QIDQ2563451FDOQ2563451

Authors: Mark Alexander Reynolds 

Publication date: 15 June 1997

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

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

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)

Cites Work

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

Cited In (17)

• Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)