scientific article; zbMATH DE number 5790393

MaRDI QIDQ4929426zbMATH OpenFDO

Authors Dragan Doder, Zoran Marković, Zoran Ognjanović

Publication date 22 September 2010

Full work available at URL http://www.jucs.org/jucs_16_11/an_axiomatization_of_a

zbMATH Keywords

first-order logicstrong completenessbranching-time logic

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• A note about the axioms for branching-time logic
• A complete axiomatic characterization of first-order temporal logic of linear time
• Arithmetical axiomatization of first-order temporal logic
• Axiomatising first-order temporal logic: Until and since over linear time
• A tableau calculus for first-order branching time logic
• Axiomatization of a branching time logic with indistinguishability relations
• First-order logics of braching time: on expressive power of temporal operators
• The temporal logic of branching time
• scientific article; zbMATH DE number 1059322
• The axiomatization of propositional linear time temporal logic

Cited in

(20)

• First-order logics of braching time: on expressive power of temporal operators
• Investigation on fragments of first order branching temporal logic
• Probability logics for reasoning about quantum observations
• Axiomatization of a branching time logic with indistinguishability relations
• Complete axiomatizations for reasoning about knowledge and branching time
• From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
• The modal logic of potential infinity: branching versus convergent possibilities
• A propositional linear time logic with time flow isomorphic to ^2
• Logics with Probability Operators
• A propositional probabilistic logic with discrete linear time for reasoning about evidence
• Reasoning About Degrees of Confirmation
• A note about the axioms for branching-time logic
• Completeness theorem for a first order linear-time logic
• scientific article; zbMATH DE number 4197950 (Why is no real title available?)
• scientific article; zbMATH DE number 4119600 (Why is no real title available?)
• On the axiomatizability of some first-order spatio-temporal theories
• scientific article; zbMATH DE number 4197951 (Why is no real title available?)
• Probabilistic Common Knowledge Among Infinite Number of Agents
• Probabilistic Temporal Logics
• scientific article; zbMATH DE number 1786650 (Why is no real title available?)

This page was built for publication:

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