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.
CITATION STYLE
Kulicki, P., & Trypuz, R. (2015). Completely and partially executable sequences of actions in deontic context. Synthese, 192(4), 1117–1138. https://doi.org/10.1007/s11229-014-0604-1
Mendeley helps you to discover research relevant for your work.