Sciweavers

Share
PRIMA
2015
Springer

Semantics for Modelling Reason-Based Preferences

3 years 6 months ago
Semantics for Modelling Reason-Based Preferences
In [13] the authors developed a logical system based on the definition of a new non-classical connective ⊗ originally capturing the notion of reparative obligation. The operator ⊗ and the system were proved to be appropriate for rather handling well-known contrary-to-duty paradoxes. Later on, a suitable modeltheoretic possible-world semantics has been developed [4, 5]. In this paper we show how a version of this semantics can be used to develop a sound and complete logic of preference and offer a suitable possible-world semantics. The semantics is a sequence-based non-normal one extending and generalising semantics for classical modal logics.
Erica Calardo, Guido Governatori, Antonino Rotolo
Added 16 Apr 2016
Updated 16 Apr 2016
Type Journal
Year 2015
Where PRIMA
Authors Erica Calardo, Guido Governatori, Antonino Rotolo
Comments (0)
books