Reasoning About Applicable Law in Private International Law in Logic Programming1
Keyword(s):
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.
Keyword(s):
2021 ◽
Vol 03
(08)
◽
pp. 225-240
2021 ◽
Vol 35
◽
pp. 1-66
Keyword(s):