Completely and partially executable sequences of actions in deontic context

• Autores: Piotr Kulicki, Robert Trypuz
• Localización: Synthese, ISSN-e 1573-0964, Vol. 192, Nº. 4, 2015, págs. 1117-1138
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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.