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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
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)
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)
Boella, G., van der Torre, L.: Institutions with a hierarchy of authorities in distributed dynamic environments. Artificial Intelligence and Law 16, 53–71 (2007)
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)
Dung, P.M., Kowalski, R., Toni, F.: Dialectic proof procedures for assumption-based, admissible argumentation. Artificial Intelligence 170, 114–159 (2006)
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)
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)
Governatori, G., Maher, M.J., Billington, D., Antoniou, G.: Argumentation semantics for defeasible logics. Journal of Logic and Computation 14, 675–702 (2004)
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)
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)
Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-classical Logics 7, 25–75 (1997)
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)
Sartor, G.: Legal Reasoning: A Cognitive Approach to the Law. Treatise on Legal Philosophy and General Jurisprudence, vol. 5. Springer, Berlin (2005)
Stone, P.: EU Private International Law: Harmonisation of Laws. Elgar (2006)
Svantesson, D.J.: Private International Law And The Internet. Kluwer Law International, Dordrecht (2008)
Tamanaha, B.Z.: Understanding legal pluralism: Past to present, local to global. Sydney Law Review 30, 375–411 (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)