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.'s infinitary proof system, and show that our results are robust w.r.t. certain changes in the underlying semantics.
Original language | English |
---|---|
Pages (from-to) | 370-379 |
Number of pages | 10 |
Journal | Review of Symbolic Logic |
Volume | 9 |
Issue number | 2 |
DOIs | |
Publication status | Published - 1 Jun 2016 |
Externally published | Yes |
Bibliographical note
Publisher Copyright:© Copyright 2016 Association for Symbolic Logic.