Display calculi and other modal calculi: a comparison

DOI10.1007/s11229-008-9425-4zbMath1205.03031OpenAlexW2059132792MaRDI QIDQ987468

Francesca Poggiolesi

Publication date: 13 August 2010

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://halshs.archives-ouvertes.fr/halshs-00775789/file/varicalcolimodali5%20%281%29.pdf

zbMATH Keywords

display calculimultiple sequent calculihigher-arity calculitree-hypersequents calculi

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

Logicality, double-line rules, and modalities, Disentangling structural connectives or life without display property, FRACTIONAL-VALUED MODAL LOGIC, Knowledge, belief, normality, and introspection

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic displayed
• Proof methods for modal and intuitionistic logics
• A perspective on modal sequent logic
• A study of Kripke-type models for some modal logics by Gentzen's sequential method
• Displaying and deciding substructural logics. I: Logics with contraposition
• Cut-free sequent calculi for some tense logics
• Indexed systems of sequents and cut-elimination
• Displaying modal logic
• Display logic
• A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
• The Method of Tree-Hypersequents for Modal Propositional Logic
• Gaggles, Gentzen and Galois: how to display your favourite substructural logic
• Sequent Calculi for Normal Modal Propositional Logics
• Kripke Completeness of First-Order Constructive Logics with Strong Negation
• Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5
• Tree-Sequent Methods for Subintuitionistic Predicate Logics
• Sequents in many valued logic II
• The elimination theorem when modality is present