Terminating calculi and countermodels for constructive modal logics

DOI10.1007/978-3-030-86059-2_23OpenAlexW3196874696MaRDI QIDQ2142091

Nicola Olivetti, Tiziano Dalmonte, Charles Grellois

Publication date: 25 May 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-86059-2_23

zbMATH Keywords

modal logicsequent calculusintuitionistic logicrefutationcountermodelsconstructive modal logics

Mathematics Subject Classification ID

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

Related Items (1)

Towards an intuitionistic deontic logic tolerating conflicting obligations

Uses Software

• MOIN

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructive modal logics. I
• Cut-free Gentzen calculus for multimodal CK
• Intuitionistic non-normal modal logics: a general framework
• Sequent calculi for intuitionistic Gödel-Löb logic
• Uniform interpolation and the existence of sequent calculi
• Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models
• Tableaux for constructive concurrent dynamic logic
• Admissibility of structural rules for contraction-free systems of intuitionistic logic
• On Nested Sequents for Constructive Modal Logics
• Grothendieck Topology as Geometric Modality
• Contraction-free sequent calculi for intuitionistic logic
• Intuitionistic Modal Logic: A 15-year retrospective
• Terminating sequent calculi for two intuitionistic modal logics
• MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)
• A further consistent extension of basic logic

This page was built for publication: Terminating calculi and countermodels for constructive modal logics