A pure view of ecumenical modalities
From MaRDI portal
Publication:2148808
DOI10.1007/978-3-030-88853-4_24OpenAlexW3204430815MaRDI QIDQ2148808FDOQ2148808
Sonia Marin, Elaine Pimentel, Emerson Sales, Luiz Carlos Pereira
Publication date: 24 June 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-88853-4_24
Cites Work
- Modal logic
- Title not available (Why is that?)
- The Method of Tree-Hypersequents for Modal Propositional Logic
- Cut-free sequent calculi for some tense logics
- A new constructive logic: classic logic
- Deep sequent systems for modal logic
- On the unity of logic
- Title not available (Why is that?)
- Nested sequents for intuitionistic logics
- Cut Elimination in Nested Sequents for Intuitionistic Modal Logics
- Kripke models for classical logic
- A focused approach to combining logics
- CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT
- A formal framework for specifying sequent calculus proof systems
- Modular Focused Proof Systems for Intuitionistic Modal Logics
- Title not available (Why is that?)
- Ecumenical modal logic
- Title not available (Why is that?)
- A new connective in natural deduction, and its application to quantum computing
- Combining monotone and normal modal logic in nested sequents -- with countermodels
This page was built for publication: A pure view of ecumenical modalities
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2148808)
