PP-2015-19: Minimal Deontic Logics

PP-2015-19: van Benthem, Johan (2015) Minimal Deontic Logics. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (4MB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (738B)


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.

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 View Item