Rotolo, Antonino; Smith, Clara
Abstract: A legal procedure in court proceedings is a (finite) 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. In this paper we use a multi-agent variant of basic core 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 the procedural law domain, claims and resolutions indeed resemble programs to be executed. Requests are organised in a preference order. Resolutions have their own dynamic of execution (either spontaneously by the one obliged and/or by force of law).