Reasoning About Applicable Law in Private International Law in Logic Programming1
DOI
オープンアクセス
説明
<jats:p>We formalized renvoi in private international law in JURIX 2019 in terms of modal logic fragment. In this demonstration paper, we show an implementation of the formalism by translating modal formula into a logic program.</jats:p>