PP-2015-19: van Benthem, Johan (2015) Minimal Deontic Logics. [Report]
Preview |
Text (Full Text)
PP-2015-19.text.pdf Download (4MB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2015-19.abstract.txt Download (738B) |
Abstract
Free choice permission to Q may be modelled as an inverse universal modality saying that all Q-worlds are deontically accessible (or `acceptable'). We axiomatize the modal validities of the resulting somewhat unusual deontic logic, where permission is no longer the usual negation dual of obligation, and prove decidability of the system.
Note:
The system of this paper has been rediscovered several times in recent years, both in deontic logic of actions and in logical studies of game-theoretic rationality as endorsing a logic of `best action'. It seems useful to make the original text available on-line, since it is hard to access otherwise.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2015-19 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2015 |
| Uncontrolled Keywords: | deontic logic, modal logic |
| Subjects: | Logic |
| Depositing User: | Johan van Benthem |
| Date Deposited: | 12 Oct 2016 14:37 |
| Last Modified: | 12 Oct 2016 14:37 |
| URI: | https://eprints.illc.uva.nl/id/eprint/530 |
Actions (login required)
 |
View Item |
