Terminating calculi and countermodels for constructive modal logics

DOI10.1007/978-3-030-86059-2_23MaRDI QIDQ2142091zbMATH OpenOpenAlexFDO

Authors Tiziano Dalmonte, Charles Grellois, N. Olivetti

Publication date 25 May 2022

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

zbMATH Keywords

intuitionistic logicmodal logicrefutationsequent calculuscountermodelsconstructive modal logics

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3706414 (Why is no real title available?)
• scientific article; zbMATH DE number 895271 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• A further consistent extension of basic logic
• Admissibility of structural rules for contraction-free systems of intuitionistic logic
• Constructive modal logics. I
• Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models
• Contraction-free sequent calculi for intuitionistic logic
• Cut-elimination and proof search for bi-intuitionistic tense logic
• Cut-free Gentzen calculus for multimodal CK
• Grothendieck Topology as Geometric Modality
• Intuitionistic modal logic: a 15-year retrospective
• Intuitionistic non-normal modal logics: a general framework
• MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)
• On nested sequents for constructive modal logics
• Relational and neighborhood semantics for intuitionistic modal logic
• Sequent calculi for intuitionistic Gödel-Löb logic
• Tableaux for constructive concurrent dynamic logic
• Terminating sequent calculi for two intuitionistic modal logics
• Uniform interpolation and the existence of sequent calculi

Cited in

(4)

• Towards an intuitionistic deontic logic tolerating conflicting obligations
• scientific article; zbMATH DE number 7204561 (Why is no real title available?)
• scientific article; zbMATH DE number 2024633 (Why is no real title available?)
• Countermodel construction via optimal hypersequent calculi for non-normal modal logics

Describes a project that uses

Uses Software

• MOIN

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

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