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.
A non-standard Kripke semantics for the minimal deontic logic
Venturi G
2021-01-01
Abstract
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
A Non-Standard Kripke Semantics for the Minimal Deontic Logic.pdf
accesso aperto
Tipologia:
Versione finale editoriale
Licenza:
Creative commons
Dimensione
176.61 kB
Formato
Adobe PDF
|
176.61 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
