Plain facts about pleading : how to work with r 166

The decision of Durward SC DCJ in OSM Group Pty Ltd v Holden [2013] QDC 151 involves a useful consideration of the requirements relating to the pleading of denials and non-admissions under the Uniform Civil Procedure Rules 1999 (Qld) (UCPR). In particular, the decision examines the extent of the obligations when pleading in response to allegations of law, or of mixed fact and law.

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.