A Deontic Logic of Actions and States

  • Robert Trypuz
  • Piotr Kulicki
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8554)


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.


deontic action logic norms on actions and states general and specific norms algebra of actions 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Atienza, M., Manero, J.R.: A theory of legal sentences. Kluwer (1998)Google Scholar
  2. 2.
    Broersen, J., Gabbay, D., van der Torre, L.: Discussion Paper: Changing Norms Is Changing Obligation Change. In: Ågotnes, T., Broersen, J., Elgesem, D. (eds.) DEON 2012. LNCS, vol. 7393, pp. 199–214. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  3. 3.
    d’Altan, P., Meyer, J.-J.C., Wieringa, R.J.: An integrated framework for ought-to-be and ought-to-do constraints. Artificial Intelligence and Law 4(2), 77–111 (1996)CrossRefGoogle Scholar
  4. 4.
    Gabbay, D., Gammaitoni, L., Sun, X.: The paradoxes of permission an action based solution. Journal of Applied Logic 12(2), 179–191 (2014)CrossRefzbMATHMathSciNetGoogle Scholar
  5. 5.
    Kulicki, P., Trypuz, R.: A deontic action logic with sequential composition of actions. In: Ågotnes, T., Broersen, J., Elgesem, D. (eds.) DEON 2012. LNCS, vol. 7393, pp. 184–198. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  6. 6.
    Kulicki, P., Trypuz, R.: Two faces of obligation. In: Brożek, A., Jadacki, J., Zarnic, B. (eds.) Theory of Imperatives from Different Points of View, Logic, Methodology and Philosophy of Science at Warsaw University 7. Wydawnictwo Naukowe, Semper (2013)Google Scholar
  7. 7.
    Pattaro, E.: The Law and The Right. A Treatise of Legal Philosophy and General Jurisprudence, vol. 1. Springer (2012)Google Scholar
  8. 8.
    Roy, O., Anglberger, A.J.J., Gratzl, N.: The Logic of Obligation as Weakest Permission. In: Ågotnes, T., Broersen, J., Elgesem, D. (eds.) DEON 2012. LNCS, vol. 7393, pp. 139–150. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  9. 9.
    Segerberg, K.: A deontic logic of action. Studia Logica 41, 269–282 (1982)CrossRefzbMATHMathSciNetGoogle Scholar
  10. 10.
    Stolpe, A.: A theory of permission based on the notion of derogation. J. Applied Logic 8(1), 97–113 (2010)CrossRefzbMATHMathSciNetGoogle Scholar
  11. 11.
    Trypuz, R., Kulicki, P.: A systematics of deontic action logics based on boolean algebra. Logic and Logical Philosophy 18, 263–279 (2009)MathSciNetGoogle Scholar
  12. 12.
    Trypuz, R., Kulicki, P.: Towards metalogical systematisation of deontic action logics based on boolean algebra. In: Governatori, G., Sartor, G. (eds.) DEON 2010. LNCS, vol. 6181, pp. 132–147. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  13. 13.
    Trypuz, R., Kulicki, P.: On deontic action logics based on Boolean algebra. Journal of Logic and Computation (2013)Google Scholar
  14. 14.
    van der Meyden, R.: The Dynamic Logic of Permission. Journal of Logic and Computation 6(3), 465–479 (1996)CrossRefzbMATHMathSciNetGoogle Scholar
  15. 15.
    von Wright, G.H.: Norm and Action: A Logical Inquiry. Routledge & Kegan Paul (1963)Google Scholar
  16. 16.
    Ziembinski, Z.: Practical Logic. Dordrecht, D. Reidel Pub. Co. (1976)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Robert Trypuz
    • 1
  • Piotr Kulicki
    • 1
  1. 1.Faculty of PhilosophyJohn Paul II Catholic University of LublinLublinPoland

Personalised recommendations