A pure view of ecumenical modalities

DOI10.1007/978-3-030-88853-4_24MaRDI QIDQ2148808zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Logic in computer science (03B70)

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

Cites work

• A focused approach to combining logics
• A formal framework for specifying sequent calculus proof systems
• A new connective in natural deduction, and its application to quantum computing
• A new constructive logic: classic logic
• Combining monotone and normal modal logic in nested sequents -- with countermodels
• CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT
• Cut elimination in nested sequents for intuitionistic modal logics
• Cut-free sequent calculi for some tense logics
• Deep sequent systems for modal logic
• Ecumenical modal logic
• scientific article; zbMATH DE number 7034416 (Why is no real title available?)
• scientific article; zbMATH DE number 3499717 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• Kripke models for classical logic
• Labelled tree sequents, tree hypersequents and nested (deep) sequents
• Modal logic
• Modular focused proof systems for intuitionistic modal logics
• Nested sequents for intuitionistic logics
• On the unity of logic
• The Method of Tree-Hypersequents for Modal Propositional Logic

Cited in

(5)

• Ecumenical modal logic
• The modal cube revisited: semantics without worlds
• On combining intuitionistic and S4 modal logic
• Separability and harmony in ecumenical systems
• Ecumenical propositional tableau

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)