Completeness of a first-order temporal logic with time-gaps

DOI10.1016/0304-3975(95)00107-7zbMath0872.68171OpenAlexW2016280880MaRDI QIDQ1350524

Richard Zach, Matthias Baaz, Alexander Leitsch

Publication date: 27 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://philarchive.org/rec/BAACOA

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Related Items

First-order Gödel logics ⋮ A non-hyperarithmetical Gödel logic ⋮ Loop-type sequent calculi for temporal logic ⋮ Proof-theoretical investigation of temporal logic with time gaps ⋮ Continuous Fraïssé conjecture ⋮ REASONING ABOUT TRANSFINITE SEQUENCES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the interpretability of arithmetic in temporal logic
• Proof methods for modal and intuitionistic logics
• Concerning the semantic consequence relation in first-order temporal logic
• Incompleteness of first-order temporal logic with until
• Proof strategies in linear logic
• The Undecidability of Monadic Modal Quantification Theory
• Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p
• The Universe of Set Theory