A Deontic Action Logic with Sequential Composition of Actions
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.
- 5.Kleene, S.C.: Representation of events in nerve nets and finite automata. Automata Studies (1956)Google Scholar
- 8.Prisacariu, C., Schneider, G.: A dynamic deontic logic for complex contracts. The Journal of Logic and Algebraic Programming 81 (to appear, 2012)Google Scholar
- 10.Trypuz, R.: Simple theory of norm and action. In: Brożek, A., Jadacki, J., Żarnić, B. (eds.) Theory of Imperatives from Different Points of View, Logic, Methodology and Philosophy of Science at Warsaw University, vol. 6, pp. 120–136. Wydawnictwo Naukowe Semper (2011)Google Scholar