@unpublished {2085, title = {Original position arguments: an axiomatic characterization}, year = {Submitted}, author = {Thijs De Coninck and Frederik Van De Putte} } @article {Putte2016ObligationAW, title = {Obligation as Weakest Permission: a Strongly Complete Axiomatization}, journal = {Rew. Symb. Logic}, volume = {9}, year = {2016}, pages = {370-379}, abstract = {

In (Anglberger et al., 2015, Section 4.1), a deontic logic is proposed which explicates the idea that a formula φ is obligatory if and only if it is (semantically speaking) the weakest permission. We give a sound and strongly complete, Hilbert style axiomatization for this logic. As a corollary, it is compact, contradicting earlier claims from Anglberger et al. (2015). In addition, we prove that our axiomatization is equivalent to Anglberger et al.{\textquoteright}s infinitary proof system, and show that our results are robust w.r.t. certain changes in the underlying semantics.

}, author = {Frederik Van De Putte} }