Axiomatizing U and S over integer time

DOI10.1007/BFB0013984MaRDI QIDQ4518419zbMATH OpenFDO

Authors Mark Alexander Reynolds

Publication date 28 November 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0013984

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• An axiomatization for until and since over the reals without the IRR rule
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
• The power of temporal proofs
• Axiomatising first-order temporal logic: Until and since over linear time
• scientific article; zbMATH DE number 757647

Cited in

(8)

• An axiomatization for until and since over the reals without the IRR rule
• Axiomatisation and decidability of \(F\) and \(P\) in cyclical time
• A complete deductive-system for since-until branching-time logic
• Hitting time and dimension in axiom A systems, generic interval exchanges and an application to Birkoff sums
• Axiomatising first-order temporal logic: Until and since over linear time
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
• Uncompactness of stit logics containing generalized refref conditionals
• On Gabbay's temporal fixed point operator

This page was built for publication: Axiomatizing U and S over integer time

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