Completely and partially executable sequences of actions in deontic context

Piotr Kulicki, Robert Trypuz: Completely and partially executable sequences of actions in deontic context. In: Synthese, 192 (4), pp. 1117-1138, 2015, ISSN: 0039-7857.

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.

BibTeX (Download)

@article{synthese2015,
title = {Completely and partially executable sequences of actions in deontic context},
author = {Piotr Kulicki and Robert Trypuz},
url = {http://link.springer.com/article/10.1007%2Fs11229-014-0604-1},
doi = {10.1007/s11229-014-0604-1},
issn = {0039-7857},
year  = {2015},
date = {2015-04-01},
journal = {Synthese},
volume = {192},
number = {4},
pages = {1117-1138},
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.},
keywords = {deontic action logic, logic of procedures, sequential composition of actions, successful and unsuccessful actions},
pubstate = {published},
tppubtype = {article}
}