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.

Section 64 of the Property Law Act 1974 (Qld) and the reluctant buyer

The decision of the Court of Appeal in Dunworth v Mirvac Qld Pty Ltd [2011] QCA 200 arose from unusual circumstances associated with the flood in Brisbane earlier this year. Maris Dunworth (‘the buyer’) agreed to purchase a ground floor residential apartment located beside the Brisbane River at Tennyson from Mirvac Queensland Pty Ltd (‘Mirvac’). The original date for completion was 12 May 2009. In earlier proceedings, the buyer had alleged that she had been induced to purchase the apartment by false, misleading and deceptive representations. This claim was dismissed and an order for specific performance was made with a new completion date of 8 February 2011...