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.

Obshchestvennye usadʻby na uchastke 165/15

Digital image

Plan zemelʻnogo otvoda uchastka N 165/15 Krivorogskogo okruga, Mikhaĭlovskogo raĭona ploshchadiʻ︠u︡ 329 gektarov

Digital image