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.
Reasoning about applicable law in private international law in logic programming
Baldoni M.;
2020-01-01
Abstract
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.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
FAIA-334-FAIA200884.pdf
Accesso aperto
Descrizione: Articolo
Tipo di file:
PDF EDITORIALE
Dimensione
172.14 kB
Formato
Adobe PDF
|
172.14 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
