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.
Guido Governatori, F.O. (2016). Sequence Semantics for Norms and Obligations. London : College Publications.
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.