ACE research vignette 019 : exploring the "Dark Side" of entrepreneurship

This series of research vignettes is aimed at sharing current and interesting research findings from our team of international Entrepreneurhsip researchers. In this vignette, Dr Rene Bakker explores "the dark side" of entrepreneurship.

A preference-based semantics for CTD reasoning

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.