Extending Deontic Logic for the Formalisation of Legal Rules

This book describes extensions of deontic logic. Deontic logic is a branch of philosophical logic involving reasoning with norms, obligations, prohibitions and permissions. The extensions concern the logical structure of legal rules and legal reasoning. Their function is to improve the representation of legal knowledge and enhance deontic logic through increased expressibility. The resulting formulas acquire new meanings, not expressible in standard deontic logic, which are subject to fresh...