Skip to main content
Springer Nature Link
Log in

A Deontic Action Logic with Sequential Composition of Actions

  • Conference paper
Deontic Logic in Computer Science (DEON 2012)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 7393))

Included in the following conference series:

  • 577 Accesses

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 to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. 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)

    Article  MathSciNet  MATH  Google Scholar 

  2. Dignum, F., Meyer, J.-J.C., Wieringa, R.J.: Free choice and contextually permitted actions. Studia Logica 57(1), 193–220 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  3. Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. Journal of Computer and System Sciences 18(2), 194–211 (1979)

    Article  MathSciNet  MATH  Google Scholar 

  4. Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM 12(10), 576–580 (1969)

    Article  MATH  Google Scholar 

  5. Kleene, S.C.: Representation of events in nerve nets and finite automata. Automata Studies (1956)

    Google Scholar 

  6. Lorini, E., Herzig, A.: A logic of intention and attempt. Synthese 163(1), 45–77 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  7. 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)

    Article  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 

  9. Segerberg, K.: A deontic logic of action. Studia Logica 41, 269–282 (1982)

    Article  MathSciNet  MATH  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 

  11. Trypuz, R., Kulicki, P.: A systematics of deontic action logics based on boolean algebra. Logic and Logical Philosophy 18, 263–279 (2009)

    MathSciNet  Google Scholar 

  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)

    Chapter  Google Scholar 

  13. Trypuz, R., Kulicki, P.: A norm-giver meets deontic action logic. Logic and Logical Philosophy 20, 59–72 (2011)

    MathSciNet  MATH  Google Scholar 

  14. van der Meyden, R.: The dynamic logic of permission. J. Log. Comput. 6(3), 465–479 (1996)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. John Paul II Catholic University of Lublin, Al. Racławickie 14, 20-950, Lublin, Poland

    Piotr Kulicki & Robert Trypuz

Authors
  1. Piotr Kulicki
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Robert Trypuz
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Information Science and Media Studies, University of Bergen, 7802, 5020, Bergen, Norway

    Thomas Ågotnes  & Dag Elgesem  & 

  2. Department of Information and Computing Sciences, Utrecht University, 80.089, 3508 TB, Utrecht, The Netherlands

    Jan Broersen

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics