Logical Models for Private International Law

This chapter offers an introductory treatment of the use of formal logic for representing and modeling private international law (PIL). After discussing the benefits and limits of logic as applied in general to the law and to PIL, we sketch basic ideas on how to deal with the issue using classical logic, defeasible reasoning and belief revision techniques. Some recent trends are illustrated on modular argumentation and logics for reasoning about interpretive canons. Finally, we present further research perspectives, such as balancing values and principles for selecting applicable rules in the context of PIL.