A Deontic Action Logic with Sequential Composition of Actions
- Cite this paper as:
- Kulicki P., Trypuz R. (2012) A Deontic Action Logic with Sequential Composition of Actions. In: Ågotnes T., Broersen J., Elgesem D. (eds) Deontic Logic in Computer Science. DEON 2012. Lecture Notes in Computer Science, vol 7393. Springer, Berlin, Heidelberg
We start our investigations from the deontic action model defined in multi-situation settings. Then we discuss the validity of formulas constructed in a language with a finite number of basic actions, parallel and sequential compositions of actions, a free choice operator and the standard deontic operators of obligation, strong permission and prohibition. The main achievements of the paper are definitions of metalogical counterparts of deontic operators and interpretation function of actions taking into account their terminating and non-terminating executions.
Keywordsdeontic action logic sequential composition of actions terminated non-terminated actions
Unable to display preview. Download preview PDF.