A propositional linear time logic with time flow isomorphic to \(\omega^2\)

DOI10.1016/j.jal.2014.03.002zbMath1328.03017arXiv1309.0829OpenAlexW3106321783MaRDI QIDQ2447179

Zoran Ognjanović, Dragan Doder, Aleksandar Perović, Bojan Marinković

Publication date: 24 April 2014

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1309.0829

zbMATH Keywords

decidabilitytemporal logicaxiomatizationstrong completenesszero-time transitions

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items

Reasoning About Degrees of Confirmation ⋮ Probability logics for reasoning about quantum observations ⋮ A temporal logic for micro- and macro-step-based real-time systems: foundations and applications ⋮ An epistemic probabilistic logic with conditional probabilities ⋮ Logics with Probability Operators ⋮ Probabilistic Temporal Logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The temporal logic of branching time
• Using branching time temporal logic to synthesize synchronization skeletons
• Axioms for tense logic. I: 'Since' and 'until'
• Decidability for branching time
• A logic for reasoning about time and reliability
• Dealing with zero-time transitions in axiom systems.
• Decision procedures and expressiveness in the temporal logic of branching time
• An axiomatization of full Computation Tree Logic
• The complexity of linear-time temporal logic over the class of ordinals
• REASONING ABOUT TRANSFINITE SEQUENCES
• Reasoning with time and chance
• A decidable propositional dynamic logic with explicit probabilities
• The complexity of propositional linear temporal logics
• Logic and time
• Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity