Citation Context

...ave the form ofwhat we call compensatory obligations, but where the obligation in response to the violation does not (legally) compensate the violation. The idea of using a specific operator for compensatory (contrary-to-duty) obligations is presented in [9]. Again the focus of the paper is not on how to properly model compensatory (contrary-to-duty) obligations. The operator presented here does its job in the context of the paper. For alternative definitions in the context of temporal logic or inspired by temporal logic see [11, 2]. For a semantic approach not based on temporal logic see [3]. This condition implements compensatory obligations when the primary obligation is a maintenance obligation and the secondary obligation is an achievement obligation. Similar definitions can be given for other combinations of primary and secondary obligations. 10 Thou Shalt is not You Will 1. S = {ti : i ∈ N}, 2. R = {(ti , ti+1) : i ∈ N}, 3. ¬C ∈ v(ti) for all i ∈ N, A ∈ v(t1), D ∈ v(t1) and B ∈ v(t2). The transition system is such that (6) TS, ti ⊨ ¬C, TS, t1 ⊨ A, TS, t1 ⊨ D, TS, t2 ⊨ B. This transition system implements the scenario where at no time there is a Court Order authorising the...

Citation Context

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

Citation Context

...oes its job in the context of the paper. For alternative definitions in the context of temporal logic or inspired by temporal logic see [6, 7]. For a semantic approach not based on temporal logic see =-=[8]-=-. 11This condition implements compensatory obligations when the primary obligation is a maintenance obligation and the secondary obligation is an achievement obligation. Similar definitions can be giv...