Terminating calculi and countermodels for constructive modal logics
From MaRDI portal
Publication:2142091
DOI10.1007/978-3-030-86059-2_23OpenAlexW3196874696MaRDI QIDQ2142091FDOQ2142091
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
Cites Work
- Title not available (Why is that?)
- Admissibility of structural rules for contraction-free systems of intuitionistic logic
- Tableaux for constructive concurrent dynamic logic
- Cut-elimination and proof search for bi-intuitionistic tense logic
- Grothendieck Topology as Geometric Modality
- Contraction-free sequent calculi for intuitionistic logic
- Constructive modal logics. I
- Title not available (Why is that?)
- Cut-free Gentzen calculus for multimodal CK
- Intuitionistic non-normal modal logics: a general framework
- Uniform interpolation and the existence of sequent calculi
- On nested sequents for constructive modal logics
- Intuitionistic modal logic: a 15-year retrospective
- Relational and neighborhood semantics for intuitionistic modal logic
- Title not available (Why is that?)
- Sequent calculi for intuitionistic Gödel-Löb logic
- A further consistent extension of basic logic
- Terminating sequent calculi for two intuitionistic modal logics
- Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models
- MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)
Cited In (4)
Uses Software
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)
