Skip to main content
Springer Nature Link
Log in

Dynamic Logic of Power and Immunity

  • Conference paper
  • First Online:
Logic, Rationality, and Interaction (LORI 2017)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 10455))

Included in the following conference series:

Abstract

We present a dynamic logic for modelling legal competences, and in particular for the Hohfeldian categories of power and immunity. We argue that this logic improves on existing models by explicitly capturing the norm-changing character of legal competences, while at the same time providing a sophisticated reduction of the latter to static normative positions. The logic is shown to be completely axiomatizable; an analysis of its resulting dynamic normative positions is provided; and it is finally applied to a concrete case in German contract law to illustrate how the logic can distinguish legal ability and legal permissibility.

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

Similar content being viewed by others

Notes

  1. 1.

    \(\ge \) is the inverse relation of \(\le \). More precisely, \(w' \ge w\) iff \(w \le w'\). There is a similar case for the preference order of actions later.

References

  1. Baltag, A., Smets, S.: A qualitative theory of dynamic interactive belief revision. Log. Found. Game Decis. Theory 3, 9–58 (2008)

    MathSciNet  MATH  Google Scholar 

  2. Blackburn, P., De Rijke, M., Venema, Y.: Modal Logic, vol. 53. Cambridge University Press, Chennai (2002)

    MATH  Google Scholar 

  3. Boutilier, C.: Toward a logic for qualitative decision theory. KR 94, 75–86 (1994)

    Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  5. Dong, H.: Permission in Non-Monotonic Normative Reasoning. PhD thesis, Universität Bayreuth (2017)

    Google Scholar 

  6. Hansson, B.: An analysis of some deontic logics. Nous 33, 373–398 (1969)

    Article  MathSciNet  MATH  Google Scholar 

  7. Hohfeld, W.N.: Some fundamental legal conceptions as applied in judicial reasoning. Yale Law J. 23(1), 16–59 (1913)

    Article  Google Scholar 

  8. Jones, A.J., Sergot, M.: A formal characterisation of institutionalised power. Log. J. IGPL 4(3), 427–443 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  9. Kanger, S.: Law and logic. Theoria 38(3), 105–132 (1972)

    Article  MathSciNet  MATH  Google Scholar 

  10. Kanger, S., Kanger, H.: Rights and parliamentarism. Theoria 32(2), 85–115 (1966)

    Article  Google Scholar 

  11. Lindahl, L.: Position and Change: A Study in Law and Logic, vol. 112. Springer Science and Business Media, Dordrecht (1977)

    Book  Google Scholar 

  12. Makinson, D.: On the formal representation of rights relations. J. philos. Log. 15(4), 403–425 (1986)

    Article  MathSciNet  MATH  Google Scholar 

  13. Meyer, J.-J.C.: A different approach to Deontic Logic: Deontic Logic Viewed as a Variant of Dynamic Logic. Notre Dame J. Formal Log. 29, 109–136 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  14. Sergot, M.: Normative positions. In: Gabbay, D., Horty, J., Parent, X., van der Meyden, R., van der Torre, L. (eds.) Handbook of Deontic Logic and Normative Systems, vol. 1. College Publication, London (2013)

    Google Scholar 

  15. Van Benthem, J.: Dynamic logic for belief revision. J. Appl. Non-classical log. 17(2), 129–155 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  16. van Benthem, J.: Modal Logic for Open Minds. Center for the Study of Language and Information (CSLI), California (2010)

    Google Scholar 

  17. van Benthem, J.: Logical Dynamics of Information and Interaction. Cambridge University Press, Chennai (2011)

    Book  MATH  Google Scholar 

  18. Benthem, J., Grossi, D., Liu, F.: Deontics = Betterness + Priority. In: Governatori, G., Sartor, G. (eds.) DEON 2010. LNCS, vol. 6181, pp. 50–65. Springer, Heidelberg (2010). doi:10.1007/978-3-642-14183-6_6

    Chapter  Google Scholar 

  19. van Benthem, J., Grossi, D., Liu, F.: Priority structures in deontic logic. Theoria 80(2), 116–152 (2014)

    Article  MathSciNet  Google Scholar 

  20. van Benthem, J., van Otterloo, S., Roy, O.: Preference logic, conditionals, and solution concepts in games. In: Festschrift for Krister Segerberg (2005)

    Google Scholar 

  21. van Ditmarsch, H., Kooi, B.: Semantic results for ontic and epistemic change. Log. Found. Game Decis. Theory 3, 87–117 (2008)

    MathSciNet  MATH  Google Scholar 

  22. van Eijck, J., Ruan, J., Sadzik, T.: Action emulation. Synthese 185, 131–151 (2012)

    Article  MATH  Google Scholar 

Download references

Acknowledgments

The research reported in this paper has been supported by the PIOTR project (RO 4548/4-1] of the German Research Foundation (DFG). The first author is supported by the MOE Project of Key Research Institute of Humanities and Social Sciences in Universities [No. 12JJD720005], by the China Scholarship Council grant [CSC No. 201306380078], and by the Chair of Philosophy I, Universität Bayreuth.

Author information

Authors and Affiliations

  1. Universität Bayreuth, Bayreuth, Germany

    Huimin Dong & Olivier Roy

Authors
  1. Huimin Dong
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Olivier Roy
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Huimin Dong or Olivier Roy .

Editor information

Editors and Affiliations

  1. Institute for Logic, Language and Computation, University of Amsterdam , Amsterdam, Noord-Holland, The Netherlands

    Alexandru Baltag

  2. Department of Philosophy, The University of Auckland, Auckland, Auckland, New Zealand

    Jeremy Seligman

  3. Graduate School of Letters, Hokkaido University , Sapporo, Japan

    Tomoyuki Yamada

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer-Verlag GmbH Germany

About this paper

Cite this paper

Dong, H., Roy, O. (2017). Dynamic Logic of Power and Immunity. In: Baltag, A., Seligman, J., Yamada, T. (eds) Logic, Rationality, and Interaction. LORI 2017. Lecture Notes in Computer Science(), vol 10455. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-55665-8_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-55665-8_9

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-55664-1

  • Online ISBN: 978-3-662-55665-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Societies and partnerships