Search
 
loader loading subjects...
cover
Renvoi in Private International Law: A Formalization with Modal Contexts
Matteo Baldoni, Laura Giordano, Ken Satoh
157 - 162
10.3233/FAIA190318
Research Article
Frontiers in Artificial Intelligence and Applications
Volume 322: Legal Knowledge and Information Systems
Abstract

The paper deals with the problem of formalizing the renvoi in private international law. A rule based (first-order) fragment of a multimodal logic including context modalities as well as a (simplified) notion of common knowledge is introduced. It allows context variables to occur within modalities and context names to be used as predicate arguments, providing a simple combination of meta-predicates and modal constructs. The nesting of contexts in queries is exploited in the formalization of the renvoi problem.

Download
Creative Commons License