Semantics for modelling reason-based preferences

Abstract

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 model-theoretic 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.