A pure view of ecumenical modalities

DOI10.1007/978-3-030-88853-4_24OpenAlexW3204430815MaRDI QIDQ2148808FDOQ2148808

Authors: Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales 

Publication date: 24 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-88853-4_24

Recommendations

• Ecumenical modal logic
• An ecumenical notion of entailment
• Label-free modular systems for classical and intuitionistic modal logics
• Modalities as interactions between the classical and the intuitionistic logics
• Label-free natural deduction systems for intuitionistic and classical modal logics

Mathematics Subject Classification ID

Logic in computer science (03B70)

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
• Labelled tree sequents, tree hypersequents and nested (deep) sequents
• 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)