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.

Keeping clear on costs: Geatches v Anglo Coal (Moranbah North Management Pty Ltd) [2014] QSC 106

In Geatches v Anglo Coal (Moranbah North Management Pty Ltd [2014] QSC 106, a dispute arose in the context of an assessment of costs as to the meaning to be attributed to particular terms of settlement and discharge signed by the parties. The court was required to consider the implications of those documents, and of a subsequent consent order intended to reflect the agreed settlement. Recovery of costs - terms of settlement and discharge exclude recovery of costs against one party and require other party to pay costs of claim against it - whether only subsequent consent order should be construed - implications where costs were common and mixed costs - whether costs should be apportioned