Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Castro, P.F., Maibaum, T.S.E.: Deontic action logic, atomic boolean algebra and fault-tolerance. Journal of Applied Logic 7(4), 441–466 (2009)
Dignum, F., Meyer, J.-J.C., Wieringa, R.J.: Free choice and contextually permitted actions. Studia Logica 57(1), 193–220 (1996)
Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. Journal of Computer and System Sciences 18(2), 194–211 (1979)
Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM 12(10), 576–580 (1969)
Kleene, S.C.: Representation of events in nerve nets and finite automata. Automata Studies (1956)
Lorini, E., Herzig, A.: A logic of intention and attempt. Synthese 163(1), 45–77 (2008)
Meyer, J.J.: A different approach to deontic logic: Deontic logic viewed as variant of dynamic logic. Notre Dame Journal of Formal Logic 29(1), 109–136 (1987)
Prisacariu, C., Schneider, G.: A dynamic deontic logic for complex contracts. The Journal of Logic and Algebraic Programming 81 (to appear, 2012)
Segerberg, K.: A deontic logic of action. Studia Logica 41, 269–282 (1982)
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)
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.: A norm-giver meets deontic action logic. Logic and Logical Philosophy 20, 59–72 (2011)
van der Meyden, R.: The dynamic logic of permission. J. Log. Comput. 6(3), 465–479 (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
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. https://doi.org/10.1007/978-3-642-31570-1_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-31570-1_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31569-5
Online ISBN: 978-3-642-31570-1
eBook Packages: Computer ScienceComputer Science (R0)