TY  - GEN
CY  - Cham, Switzerland
A1  - Marin, S
A1  - Pereira, LC
A1  - Pimentel, E
A1  - Sales, E
T3  - Lecture Notes in Computer Science
N2  - Recent works about ecumenical systems, where connectives from classical and intuitionistic logics can co-exist in peace, warmed the discussion on proof systems for combining logics. This discussion has been extended to alethic modalities using Simpson?s meta-logical characterization: necessity is independent of the viewer, while possibility can be either intuitionistic or classical. In this work, we propose a pure, label free calculus for ecumenical modalities, nEK, where exactly one logical operator figures in introduction rules and every basic object of the calculus can be read as a formula in the language of the ecumenical modal logic EK. We prove that nEK is sound and complete w.r.t. the ecumenical birelational semantics and discuss fragments and extensions.
ID  - discovery10141795
PB  - Springer
UR  - https://doi.org/10.1007/978-3-030-88853-4_24
SN  - 1611-3349
N1  - This version is the author accepted manuscript. For information on re-use, please refer to the publisher?s terms and conditions.
TI  - A Pure View of Ecumenical Modalities
SP  - 388
AV  - public
Y1  - 2021/10/06/
EP  - 407
ER  -