Sciweavers

CLIMA
2011

Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance

12 years 3 months ago
Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance
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.
Guido Governatori, Antonino Rotolo
Added 18 Dec 2011
Updated 18 Dec 2011
Type Journal
Year 2011
Where CLIMA
Authors Guido Governatori, Antonino Rotolo
Comments (0)