Report to VicRoads: Extent of unlicensed driving - follow up Ref 143 - Alcohol Harms Inquiry

Unlicensed driving is a serious problem in many countries, despite ongoing improvements in traffic law enforcement practices and technology. The term "unlicensed driver" is generally used to refer to people who drive or ride a motor vehicle without a valid driver's licence, including those who: • Have let their licence expire, • Have been disqualified or suspended from driving, • Hold an inappropriate licence for the class of vehicle they drive, • Drive outside the restrictions of a special licence, • Don’t currently hold a licence, or • Have never held a licence (Watson, 2003, 2004a)...

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.