ALTERNATIVE REDUCTIONS FOR DYNAMIC DEONTIC LOGICS [chapter]

ALBERT J.J. ANGLBERGER
Reduction - Abstraction - Analysis  
A recent approach to deontic logic -the logic of permission, obligation and prohibition -places deontic logic into a dynamic framework. In dynamic logics we differentiate between actions and assertions. For every action term α, an execution operator '[α]...' is introduced, which is read as 'every execution of α leads to a state in which ... holds'. Enriching our language by a violation constant V, allows us to reduce deontic predicates in two obvious ways: (i) An action is forbidden iff every
more » ... rbidden iff every execution leads to a violation, (ii) an action is forbidden iff at least one execution leads to a violation. Both reductions lead -besides being somewhat coarse grained -to implausible theorems. In our paper we will address the question: where and how one may find more sophisticated reductions.
doi:10.1515/9783110328875.179 fatcat:lxnsoqezqvdc5kydhjy3kbp64i