Repository | Journal | Volume | Articles
(2015) Synthese 192 (4).
Completely and partially executable sequences of actions in deontic context
Piotr Kulicki, Robert Trypuz
pp. 1117-1138
The paper offers a logical characterisation of multi-step actions in the context of deontic notions of obligation, permission and prohibition. Deontic notions for sequentially composed actions (procedures or instructions) are founded on deontic notions for one-step actions. The present work includes a formal study of situations where execution of a multi-step action has been unsuccessful and provides normative analysis of such actions.
Publication details
DOI: 10.1007/s11229-014-0604-1
Full citation:
Kulicki, P. , Trypuz, R. (2015). Completely and partially executable sequences of actions in deontic context. Synthese 192 (4), pp. 1117-1138.