A Logical Model of Private International Law

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.

[1]  Guido Governatori,et al.  Variants of temporal defeasible logics for modelling norm modifications , 2007, ICAIL.

[2]  Henry Prakken,et al.  Argument-Based Extended Logic Programming with Defeasible Priorities , 1997, J. Appl. Non Class. Logics.

[3]  Phan Minh Dung,et al.  Modular argumentation for modelling legal doctrines in common law of contract , 2008, Artificial Intelligence and Law.

[4]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[5]  Dan Jerker B. Svantesson,et al.  Private International Law and the Internet , 2007 .

[6]  Henry Prakken,et al.  A System for Defeasible Argumentation, with Defeasible Priorities , 1996, Artificial Intelligence Today.

[7]  Michael J. Maher,et al.  Argumentation Semantics for Defeasible Logic , 2004, J. Log. Comput..

[8]  Phan Minh Dung,et al.  Dialectic proof procedures for assumption-based, admissible argumentation , 2006, Artif. Intell..

[9]  Brian Z. Tamanaha,et al.  Understanding Legal Pluralism: Past to Present, Local to Global , 2007 .

[10]  G. Sartor,et al.  A logical analysis of burdens of proof , 2009 .

[11]  Simon Atrill,et al.  CHOICE OF LAW IN CONTRACT: THE MISSING PIECES OF THE ARTICLE 4 JIGSAW? , 2004, International and Comparative Law Quarterly.

[12]  C. E. Alchourrón,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985 .

[13]  Carlos E. Alchourrón,et al.  Hierarchies of Regulations and their Logic , 1981 .

[14]  Peter Stone,et al.  EU Private International Law: Harmonization of Laws , 2006 .

[15]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[16]  Guido Boella,et al.  Institutions with a hierarchy of authorities in distributed dynamic environments , 2008, Artificial Intelligence and Law.

[17]  G. Sartor.  Legal Reasoning: A Cognitive Approach to Law , 2005 .