This paper presents a new version of the sequence semantics presented at DEON 2014. This new version allows us for a capturing the distinction between logic of obligations and logic of norms. Several axiom schemata are discussed, while soundness and completeness results are proved.
Sequence Semantics for Norms and Obligations / Guido Governatori, Francesco Olivieri, Erica Calardo, Antonino Rotolo. - STAMPA. - (2016), pp. 93-108. (Intervento presentato al convegno DEON 2016. 13th International Conference on Deontic Logic and Normative Systems tenutosi a Bayreuth, Germany nel 18-21 July 2016).
Sequence Semantics for Norms and Obligations
Erica Calardo;Antonino Rotolo
2016
Abstract
This paper presents a new version of the sequence semantics presented at DEON 2014. This new version allows us for a capturing the distinction between logic of obligations and logic of norms. Several axiom schemata are discussed, while soundness and completeness results are proved.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
post_print_DEON_2016.pdf
accesso aperto
Tipo:
Postprint
Licenza:
Licenza per accesso libero gratuito
Dimensione
710.03 kB
Formato
Adobe PDF
|
710.03 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.