Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Atienza, M., Manero, J.R.: A theory of legal sentences. Kluwer (1998)
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)
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)
Gabbay, D., Gammaitoni, L., Sun, X.: The paradoxes of permission an action based solution. Journal of Applied Logic 12(2), 179–191 (2014)
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)
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)
Pattaro, E.: The Law and The Right. A Treatise of Legal Philosophy and General Jurisprudence, vol. 1. Springer (2012)
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)
Segerberg, K.: A deontic logic of action. Studia Logica 41, 269–282 (1982)
Stolpe, A.: A theory of permission based on the notion of derogation. J. Applied Logic 8(1), 97–113 (2010)
Trypuz, R., Kulicki, P.: A systematics of deontic action logics based on boolean algebra. Logic and Logical Philosophy 18, 263–279 (2009)
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)
Trypuz, R., Kulicki, P.: On deontic action logics based on Boolean algebra. Journal of Logic and Computation (2013)
van der Meyden, R.: The Dynamic Logic of Permission. Journal of Logic and Computation 6(3), 465–479 (1996)
von Wright, G.H.: Norm and Action: A Logical Inquiry. Routledge & Kegan Paul (1963)
Ziembinski, Z.: Practical Logic. Dordrecht, D. Reidel Pub. Co. (1976)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
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. https://doi.org/10.1007/978-3-319-08615-6_19
Download citation
DOI: https://doi.org/10.1007/978-3-319-08615-6_19
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-08614-9
Online ISBN: 978-3-319-08615-6
eBook Packages: Computer ScienceComputer Science (R0)