A Deontic Logic of Actions and States
- Cite this paper as:
- Trypuz R., Kulicki P. (2014) A Deontic Logic of Actions and States. In: Cariani F., Grossi D., Meheus J., Parent X. (eds) Deontic Logic and Normative Systems. DEON 2014. Lecture Notes in Computer Science, vol 8554. Springer, Cham
Deontic considerations are usually conducted in one of the following contexts: (i) general norms expressed in: legal documents, regulations or implicitly present in society in the form of moral or social rules; (ii) specific norms, i.e., duties of particular agents in particular situations. Norms of the two kinds refer to obligatory, permitted and forbidden actions or states. In the paper we start from presenting a simple deontic logic of actions and a simple deontic logic of states. Then we combine them to provide a unified logic of general norms. Finally, we discuss the way in which specific norms can be introduced into the system.
Keywordsdeontic action logic norms on actions and states general and specific norms algebra of actions
Unable to display preview. Download preview PDF.