How deontic logic contributes to the analysis of legal systems

Abstract

[...]the reader might expect that the chapters of Part II use (or apply) the formal tools of deontic logic to analyse selected topics concerning legal systems. [...]the formula Ot, and, a fortiori, O(A ∨ ¬A) means that something is obligatory. [...]the formula is valid in a world in which obligations exist, but not in an anarchistic reality in which everything is permitted. [...]the first stage of the development of the logic of normative discourse is dominated by this issue. [...]I have some concerns over whether the book under review should have been published in the Cambridge Introductions to Philosophy and Law book series.