In this paper we extend the logic of violation proposed by [14] with time, more precisely, we temporalise that logic. The resulting system allows us to capture many subtleties of the concept of legal compliance. In particular, the formal characterisation of compliance can handle different types of legal obligation and different temporal constraints over them. The logic is also able to represent, and reason about, chains of reparative obligations, since in many cases the fulfillment of these types of obligation still amount to legally acceptable situations.
Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance / G. Governatori; A. Rotolo. - STAMPA. - (2011), pp. 364-382. (Intervento presentato al convegno Computational Logic in Multi-Agent Systems: 12th International Workshop, CLIMA XII tenutosi a Barcelona, Spain nel July 17-18, 2011) [10.1007/978-3-642-22359-4_25].
Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance
GOVERNATORI, GUIDO;ROTOLO, ANTONINO
2011
Abstract
In this paper we extend the logic of violation proposed by [14] with time, more precisely, we temporalise that logic. The resulting system allows us to capture many subtleties of the concept of legal compliance. In particular, the formal characterisation of compliance can handle different types of legal obligation and different temporal constraints over them. The logic is also able to represent, and reason about, chains of reparative obligations, since in many cases the fulfillment of these types of obligation still amount to legally acceptable situations.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
