A pure view of ecumenical modalities
From MaRDI portal
Publication:2148808
DOI10.1007/978-3-030-88853-4_24OpenAlexW3204430815MaRDI QIDQ2148808
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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Kripke models for classical logic
- A focused approach to combining logics
- On the unity of logic
- Deep sequent systems for modal logic
- Cut-free sequent calculi for some tense logics
- A formal framework for specifying sequent calculus proof systems
- Ecumenical modal logic
- Combining monotone and normal modal logic in nested sequents -- with countermodels
- Nested sequents for intuitionistic logics
- The Method of Tree-Hypersequents for Modal Propositional Logic
- A new constructive logic: classic logic
- CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT
- Cut Elimination in Nested Sequents for Intuitionistic Modal Logics
- Modular Focused Proof Systems for Intuitionistic Modal Logics
- A new connective in natural deduction, and its application to quantum computing
This page was built for publication: A pure view of ecumenical modalities
