Skip to main content
SpringerLink
Log in

A Logical Model of Private International Law

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

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

Included in the following conference series:

Abstract

We provide a logical analysis of private international law, the body of law establishing when courts of a country should decide a case (jurisdiction) and what legal system they should apply to this purpose (choice of law). A formal model of the resulting interaction among multiple legal systems is proposed based on modular argumentation. It is argued that this model may be useful for understanding this rather esoteric, but increasingly important, domain of the law. Moreover, it might be useful for modelling the way in which interactions between heterogeneous agents, belonging to different and differently regulated virtual societies, can be governed without recourse to a central regulatory agency.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

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.

References

  1. Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet functions for contractions and revisions. Journal of Symbolic Logic 50, 510–530 (1985)

    Article  MATH  MathSciNet  Google Scholar 

  2. Alchourrón, C.E., Makinson, D.: Hierarchies of regulations and their logic. In: Hilpinen, R. (ed.) New Studies on Deontic Logic, pp. 123–148. Reidel, Dordrecht (1981)

    Google Scholar 

  3. Atrill, S.: Choice of law in contract: The missing pieces of the article 4 jigsaw. The International and Comparative Law Quarterly 53, 549–577 (2004)

    Google Scholar 

  4. Boella, G., van der Torre, L.: Institutions with a hierarchy of authorities in distributed dynamic environments. Artificial Intelligence and Law 16, 53–71 (2007)

    Article  Google Scholar 

  5. Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming, and n–person games. Artificial Intelligence 77, 321–357 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  6. Dung, P.M., Kowalski, R., Toni, F.: Dialectic proof procedures for assumption-based, admissible argumentation. Artificial Intelligence 170, 114–159 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  7. Dung, P.M., Thang, P.M.: Modular argumentation for modelling legal doctrines in common law of contract. Artificial intelligence and Law 17, 167–182 (2009)

    Article  Google Scholar 

  8. Dung, P.M., Thang, P.M., Hung, N.D.: Modular argumentation for modelling legal doctrines of performance relief. Journal of Argument and Computation 1 (2010)

    Google Scholar 

  9. Governatori, G., Maher, M.J., Billington, D., Antoniou, G.: Argumentation semantics for defeasible logics. Journal of Logic and Computation 14, 675–702 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  10. Governatori, G., Rotolo, A., Riveret, R., Palmirani, M., Sartor, G.: Variants of temporal defeasible logics for modelling norm modifications. In: Proceedings of Eleventh International Conference on Artificial Intelligence and Law, pp. 155–159. ACM, New York (2007)

    Chapter  Google Scholar 

  11. Prakken, H., Sartor, G.: System for defeasible argumentation with defeasible priorities. In: Gabbay, D.M., Ohlbach, H.J. (eds.) FAPR 1996. LNCS, vol. 1085, pp. 510–524. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  12. Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-classical Logics 7, 25–75 (1997)

    MATH  MathSciNet  Google Scholar 

  13. Prakken, H., Sartor, G.: A logical analysis of burdens of proof. In: Kaptein, H., Prakken, H., Verheij, B. (eds.) Legal Evidence and Proof: Statistics, Stories, Logic, Aldershot (2009)

    Google Scholar 

  14. Sartor, G.: Legal Reasoning: A Cognitive Approach to the Law. Treatise on Legal Philosophy and General Jurisprudence, vol. 5. Springer, Berlin (2005)

    Google Scholar 

  15. Stone, P.: EU Private International Law: Harmonisation of Laws. Elgar (2006)

    Google Scholar 

  16. Svantesson, D.J.: Private International Law And The Internet. Kluwer Law International, Dordrecht (2008)

    Google Scholar 

  17. Tamanaha, B.Z.: Understanding legal pluralism: Past to present, local to global. Sydney Law Review 30, 375–411 (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Asian Institute of Technology, Bangkok, Thailand

    Phan Minh Dung

  2. European University Institute, Florence, Italy

    Giovanni Sartor

  3. Cirsfid, University of Bologna, Italy

    Giovanni Sartor

Authors
  1. Phan Minh Dung
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Giovanni Sartor
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Queensland Research Laboratory, National ICT Australia, 4067, St Lucia, QLD, Australia

    Guido Governatori

  2. European University Institute, Badia Fiesolana, 50016 San Domenico di Fiesole, Florence, Italy, and University of Bologna, Via Zamboni, 33, 40126, Bologna, Italy

    Giovanni Sartor

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dung, P.M., Sartor, G. (2010). A Logical Model of Private International Law. In: Governatori, G., Sartor, G. (eds) Deontic Logic in Computer Science. DEON 2010. Lecture Notes in Computer Science(), vol 6181. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14183-6_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-14183-6_17

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-14182-9

  • Online ISBN: 978-3-642-14183-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation