Action Type Deontic Logic

Martin Mose Bentzen

    Research output: Contribution to journalJournal articleResearchpeer-review

    762 Downloads (Pure)


    A new deontic logic, Action Type Deontic Logic, is presented. To motivate this logic, a number of benchmark cases are shown, representing inferences a deontic logic should validate. Some of the benchmark cases are singled out for further comments and some formal approaches to deontic reasoning are evaluated with respect to the benchmark cases. After that follows an informal introduction to the ideas behind the formal semantics, focussing on the distinction between action types and action tokens. Then the syntax and semantics of Action Type Deontic Logic is presented and it is shown to meet the benchmarks. Finally, possibilities for further research are indicated. In the appendix, decidability of the satisfiability of formulas is proved via a technique known from monadic First Order Logic.
    Original languageEnglish
    JournalJournal of Logic, Language and Information
    Issue number4
    Pages (from-to)397-414
    Publication statusPublished - 2014


    • Deontic logic
    • Ross’ paradox
    • Free choice inferences
    • Decidability of satisfiability


    Dive into the research topics of 'Action Type Deontic Logic'. Together they form a unique fingerprint.

    Cite this