… For these calculi we prove that weakening and contraction are height-preserving admissible…
of the proof theory of deontic logics since our calculi allow for a systematic root-first proof …

… I will prove that there is … dyadic deontic logic is a good one in any general sense. It is outside
the scope of this article to discuss or propose alternatives to von Wright-type deontic logics …

… Suppose we want to achieve a logical analysis [Oppenheim, 1944] or a rational reconstruction
[Wedberg, 1951] of some system … In Section 11 we prove the semantic soundness and …

… systems of deontic logic one can prove certain formulae … We easily prove that Op-^O(pwq).
This says that an obligation … criticism of the very idea of a "deontic logic."3 I shall refer to this …

… applied in an interesting way to the analysis of certain deontic logics by Bengt Hansson ([16]; …
We would take this example as evidence that normative systems according to which all …

… paradoxes as evidence that (RM) is not a valid principle of deontic logic (Goble, 1991). …
This analysis of the concept of agency has a form which has become widely accepted in the …

… Suppose we want to achieve a logical analysis (Oppenheim [1944]) or a rational … In
Section 10 we prove the semantic soundness and completeness the ten Smiley-Hanson …

… From PL and M and the suggested definitions of 'Se' and 'P' we easily prove the distribution
law 'pep v q)+-+Pp&Pq' … In the analysis of the notions of immunity and liability to punishment, …

… We will prove this by induction on the length of the proof for D. Thus we first assume that
D is one of the axioms of the calculus of DSDL3: (0) Let D be of the form O(A IA). Since Maxc(d) …

… For this reason, and in spite of the progress that deontic logic registers in the formal analysis
… sense a universal character, because in order to prove that a statement is not a semantic …