Analytic proofs for tense logic

DOI10.1007/978-3-032-06085-3_12MaRDI QIDQ6860384zbMATH OpenFDO

Authors Agata Ciabattoni, Timo Lang, Revantha Ramanayake

Publication date 10 February 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-032-06085-3_12

zbMATH Keywords

analytic proofsanalytic restrictioncut-eliminationsequent calculustense logic

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• A modified subformula property for the modal logic S4.2
• A study of some tense logics by Gentzen's sequential method
• A Syntactic Proof of Cut‐Elimination For GL_lin
• A unified semantic framework for fully structural propositional sequent systems
• Analytic cut
• Analytic cut and interpolation for bi-intuitionistic logic
• Analytic proof theory for Åqvist's system F
• BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
• CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME
• Cut-restriction: from cuts to analytic cuts
• Display logic
• Displaying modal logic
• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• scientific article; zbMATH DE number 956466 (Why is no real title available?)
• scientific article; zbMATH DE number 149884 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 1749009 (Why is no real title available?)
• scientific article; zbMATH DE number 932649 (Why is no real title available?)
• scientific article; zbMATH DE number 970628 (Why is no real title available?)
• Modal logic
• On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
• Proof analysis in modal logic
• Subformula results in some propositional modal logics
• The modal logic of provability: cut-elimination
• The Taming of the Cut. Classical Refutations with Analytic Cut
• Valentini's cut-elimination for provability logic resolved
• Which structural rules admit cut elimination? An algebraic criterion

This page was built for publication: Analytic proofs for tense logic

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