PP-2015-19: Minimal Deontic Logics

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

Text (Full Text)

Download (4MB) | Preview
[img] 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. 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 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