A preference-based semantics for CTD reasoning


Autoria(s): Calardo, Erica; Governatori, Guido; Rotolo, Antonino
Contribuinte(s)

Cariani, F.

Grossi, D.

Meheus, J.

Parent, X.

Data(s)

2014

Resumo

In [8] the authors developed a logical system based on the definition of a new non-classical connective ⊗ capturing the notion of reparative obligation. The system proved to be appropriate for handling well-known contrary-to-duty paradoxes but no model-theoretic semantics was presented. In this paper we fill the gap and define a suitable possible-world semantics for the system for which we can prove soundness and completeness. The semantics is a preference-based non-normal one extending and generalizing semantics for classical modal logics.

Identificador

http://eprints.qut.edu.au/88539/

Publicador

Springer

Relação

DOI:10.1007/978-3-319-08615-6_5

Calardo, Erica, Governatori, Guido, & Rotolo, Antonino (2014) A preference-based semantics for CTD reasoning. In Cariani, F., Grossi, D., Meheus, J., & Parent, X. (Eds.) Deontic Logic and Normative Systems: 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings, Springer, Ghent, Belgium, pp. 49-64.

Fonte

School of Information Systems; Science & Engineering Faculty

Tipo

Conference Paper