IIF 26912
INSTITUTO DE INVESTIGACIONES FILOSOFICAS
Unidad Ejecutora - UE
artículos
Título:
A Non-Standard Kripke Semantics for the Minimal Deontic Logic
Autor/es:
EDSON BEZERRA; GIORGIO VENTURI
Revista:
LOGIC AND LOGICAL PHILOSOPHY
Editorial:
Nicolaus Copernicus University
Referencias:
Lugar: Torun; Año: 2022 vol. 30 p. 97 - 107
ISSN:
1425-3305
Resumen:
In this paper we study a new operator of strong modality ⊞, related to the non-contingency operator ∆. We then provide soundness and completeness theorems for the minimal logic of the ⊞-operator.
