@inproceedings{c66934897f4443c7abe78980461ae0ef,
title = "RenVoi in private international law: A formalization with modal contexts",
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.",
author = "Matteo Baldoni and Laura Giordano and Ken Satoh",
note = "Publisher Copyright: {\textcopyright} 2019 The authors and IOS Press.; 32nd International Conference on Legal Knowledge and Information Systems, JURIX 2019 ; Conference date: 11-12-2019 Through 13-12-2019",
year = "2019",
month = dec,
day = "5",
doi = "10.3233/FAIA190318",
language = "English",
series = "Frontiers in Artificial Intelligence and Applications",
publisher = "IOS Press BV",
pages = "157--162",
editor = "Michal Araszkiewicz and V�ctor Rodriguez-Doncel",
booktitle = "Legal Knowledge and Information Systems - JURIX 2019",
address = "Netherlands",
}