Journal article
Action Type Deontic Logic
Department of Management Engineering, Technical University of Denmark1
Production and Service Management, Department of Management Engineering, Technical University of Denmark2
Risk Research Group, Production and Service Management, Department of Management Engineering, Technical University of Denmark3
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.
| Language: | English |
|---|---|
| Publisher: | Springer Netherlands |
| Year: | 2014 |
| Pages: | 397-414 |
| ISSN: | 15729583 and 09258531 |
| Types: | Journal article |
| DOI: | 10.1007/s10849-014-9205-0 |
| ORCIDs: | Bentzen, Martin Mose |
