Ecumenical modal logic

DOI10.1007/978-3-030-65840-3_12MaRDI QIDQ2055765zbMATH OpenOpenAlexFDO

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

Publication date 1 December 2021

Full work available at URL https://arxiv.org/abs/2005.14325

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• A pure view of ecumenical modalities
• An ecumenical notion of entailment
• scientific article; zbMATH DE number 1140673
• Constructive modal logics. I
• Kripke semantics and proof systems for combining intuitionistic logic and classical logic

Cited in

(5)

• A pure view of ecumenical modalities
• An ecumenical notion of entailment
• Ecumenical modal logic
• The modal cube revisited: semantics without worlds
• Separability and harmony in ecumenical systems

This page was built for publication: Ecumenical modal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2055765)