Dr. Phan Minh Dung of The Asian Institute of Technology Computer Science and Information Management Program, and Professor Dr. Giovanni Sartor of Università di Bologna, Centro Interdipartimentale de Ricerca in Storia del Diritto e Informatica Giuridica (CIRSFID), have published A Logical Model of Private International Law, in DEON 2010: Proceedings of the 10th International Conference on Deontic Logic in Computer Science, 7-9 July 2010, Fiesole, Italy 229-246 (Guido Governatori & Giovanni Sartor eds., 2010). Here is the 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.