Completely and partially executable sequences of actions in deontic context

Piotr Kulicki

Robert Trypuz

pp. 1117-1138

in: Pietarinen (ed), Peirce's logic and philosophy of language, Synthese 192 (4), 2015.

Abstract

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.