Modular focused proof systems for intuitionistic modal logics

DOI10.4230/LIPICS.FSCD.2016.16zbMATH Open1387.03016OpenAlexW2488055829MaRDI QIDQ5369481FDOQ5369481

Authors: Kaustuv Chaudhuri, Sonia Marin, Lutz Straßburger 

Publication date: 17 October 2017

Full work available at URL: https://hal.inria.fr/hal-01417603

Recommendations

• Focused and Synthetic Nested Sequents
• Proof search in nested sequent calculi
• Focusing and Polarization in Intuitionistic Logic
• Structural focalization
• A semantical analysis of focusing and contraction in intuitionistic logic

zbMATH Keywords

cut eliminationintuitionistic modal logicfocusingproof searchnested sequents

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Cited In (13)

• Focused proof-search in the logic of bunched implications
• Maehara-style modal nested calculi
• Focused and Synthetic Nested Sequents
• Title not available (Why is that?)
• Focusing and Polarization in Intuitionistic Logic
• A proof system for fork algebras and its applications to reasoning in logics based on intuitionism
• A pure view of ecumenical modalities
• A semantical analysis of focusing and contraction in intuitionistic logic
• MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)
• Non-associative, non-commutative multi-modal linear logic
• Canonicity of proofs in constructive modal logic
• Focused labeled proof systems for modal logic
• Proof search in nested sequent calculi

This page was built for publication: Modular focused proof systems for intuitionistic modal logics

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