Publications

Show all

2015

Kulicki, Piotr; Trypuz, Robert

Completely and partially executable sequences of actions in deontic context Journal Article

Synthese, 192 (4), pp. 1117-1138, 2015, ISSN: 0039-7857.

Abstract | Links | BibTeX | Tagi: deontic action logic, logic of procedures, sequential composition of actions, successful and unsuccessful actions