Obligation as weakest permission: A strongly complete axiomatization

Frederik Van De Putte*

*Corresponding author for this work

Research output: Contribution to journalArticleAcademicpeer-review

9 Downloads (Pure)

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 languageEnglish
Pages (from-to)370-379
Number of pages10
JournalReview of Symbolic Logic
Volume9
Issue number2
DOIs
Publication statusPublished - 1 Jun 2016
Externally publishedYes

Bibliographical note

Publisher Copyright:
© Copyright 2016 Association for Symbolic Logic.

Fingerprint

Dive into the research topics of 'Obligation as weakest permission: A strongly complete axiomatization'. Together they form a unique fingerprint.

Cite this