An approach to infinitary temporal proof theory

DOI10.1007/s00153-004-0237-zzbMath1059.03007OpenAlexW2074901796MaRDI QIDQ1762733

Stefano Baratella, Andrea Masini

Publication date: 11 February 2005

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-004-0237-z

zbMATH Keywords

cut eliminationsequent calculusfragments of Linear Time Logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Temporal logic (03B44)

Related Items

Temporal BI: proof system, semantics and translations ⋮ Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic ⋮ Temporal Gödel‐Gentzen and Girard translations ⋮ Embedding theorems for LTL and its variants ⋮ Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic ⋮ Bounded linear-time temporal logic: a proof-theoretic investigation

Cites Work

• Duality and the completeness of the modal \(\mu\)-calculus
• Automata-theoretic techniques for modal logics of programs
• A complete axiomatic characterization of first-order temporal logic of linear time
• 2-sequent calculus: A proof theory of modalities
• Labelled modal logics: Quantifiers
• A model existence theorem in infinitary propositional modal logic
• A proof-theoretic investigation of a logic of positions
• An axiomatization of full Computation Tree Logic
• The complexity of propositional linear temporal logics
• An analysis of (linear) exponentials based on extended sequents
• Proof theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item