Academic Bibliography

 Search 200 years of publications by Ghent University researchers.
Advanced search
2 files | 477.57 KB
Add to list
  1. Search results
  2. Obligation as weakest permission : a ...

Obligation as weakest permission : a strongly complete axiomatization

Frederik Van De Putte (UGent)
(2016) REVIEW OF SYMBOLIC LOGIC. 9(2). p.370-379
Author
Organization
Abstract
In (Anglberger et al., 2015, Section 4.1), a deontic logic is proposed which explicates the idea that a formula phi 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.
Keywords
LOGIC

Downloads

  • Download
    (...).pdf
    • full text (Published version)
    • |
    • UGent only
    • |
    • PDF
    • |
    • 111.97 KB
  • Download
    accepted.pdf
    • full text (Accepted manuscript)
    • |
    • open access
    • |
    • PDF
    • |
    • 365.60 KB

Citation

Please use this url to cite or link to this publication:

MLA
Van De Putte, Frederik. “Obligation as Weakest Permission : A Strongly Complete Axiomatization.” REVIEW OF SYMBOLIC LOGIC, vol. 9, no. 2, 2016, pp. 370–79, doi:10.1017/S1755020316000034.
APA
Van De Putte, F. (2016). Obligation as weakest permission : a strongly complete axiomatization. REVIEW OF SYMBOLIC LOGIC, 9(2), 370–379. https://doi.org/10.1017/S1755020316000034
Chicago author-date
Van De Putte, Frederik. 2016. “Obligation as Weakest Permission : A Strongly Complete Axiomatization.” REVIEW OF SYMBOLIC LOGIC 9 (2): 370–79. https://doi.org/10.1017/S1755020316000034.
Chicago author-date (all authors)
Van De Putte, Frederik. 2016. “Obligation as Weakest Permission : A Strongly Complete Axiomatization.” REVIEW OF SYMBOLIC LOGIC 9 (2): 370–379. doi:10.1017/S1755020316000034.
Vancouver
1.
Van De Putte F. Obligation as weakest permission : a strongly complete axiomatization. REVIEW OF SYMBOLIC LOGIC. 2016;9(2):370–9.
IEEE
[1]
F. Van De Putte, “Obligation as weakest permission : a strongly complete axiomatization,” REVIEW OF SYMBOLIC LOGIC, vol. 9, no. 2, pp. 370–379, 2016.
@article{8122653,
  abstract     = {{In (Anglberger et al., 2015, Section 4.1), a deontic logic is proposed which explicates the idea that a formula phi 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.}},
  author       = {{Van De Putte, Frederik}},
  issn         = {{1755-0203}},
  journal      = {{REVIEW OF SYMBOLIC LOGIC}},
  keywords     = {{LOGIC}},
  language     = {{eng}},
  number       = {{2}},
  pages        = {{370--379}},
  title        = {{Obligation as weakest permission : a strongly complete axiomatization}},
  url          = {{http://doi.org/10.1017/S1755020316000034}},
  volume       = {{9}},
  year         = {{2016}},
}
Altmetric
View in Altmetric
Web of Science
Times cited: