Paradox-free deontic logics.
Richard L. Purtill · Notre Dame Journal of Formal Logic · 1975
One of the standard systems of deontic logic is the monadic system developed by G. H. von Wright. 1 I will begin by discussing a version of von Wright's system.This system has the following vocabulary:(a) Propositional variables "p", "q", "r", etc.(b) Truth functional connectives "~", ".", "v", "3", "=» for negation, conjunction, disjunction, material implication, material equivalence.