A legal procedure in court proceedings is a sequence of actions in which the last action is (the creation of) a(n individual) norm, where the court settles that it is obligatory in the interest of some agents that other agents bring about a certain state of affairs. This paper models legal procedures by using a variant of Propositional Dynamic Logic (PDL) enriched with a preference operator for prioritising procedural actions. The key reason towards the usage of PDL is that, in procedural law, claims and resolutions resemble programs to be executed. Requests are organised in a preference order and resolutions have their own dynamics of execution (either spontaneously by the one obliged and/or by force of law).
Rotolo A., Smith C. (2021). Modelling legal procedures. New York : Association for Computing Machinery, Inc [10.1145/3462757.3466089].
Modelling legal procedures
Rotolo A.
;
2021
Abstract
A legal procedure in court proceedings is a sequence of actions in which the last action is (the creation of) a(n individual) norm, where the court settles that it is obligatory in the interest of some agents that other agents bring about a certain state of affairs. This paper models legal procedures by using a variant of Propositional Dynamic Logic (PDL) enriched with a preference operator for prioritising procedural actions. The key reason towards the usage of PDL is that, in procedural law, claims and resolutions resemble programs to be executed. Requests are organised in a preference order and resolutions have their own dynamics of execution (either spontaneously by the one obliged and/or by force of law).| File | Dimensione | Formato | |
|---|---|---|---|
|
ICAIL_Modelling Legal Procedures.pdf
accesso riservato
Tipo:
Versione (PDF) editoriale
Licenza:
Licenza per accesso riservato
Dimensione
822.93 kB
Formato
Adobe PDF
|
822.93 kB | Adobe PDF | Visualizza/Apri Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
