Time and Compensation Mechanisms in Checking Legal Compliance
File version
Version of Record (VoR)
Author(s)
Rotolo, Antonino
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
Size
File type(s)
Location
Abstract
In this paper we extend the logic of violation proposed by [23] 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 amounts to legally acceptable situations.
Journal Title
Journal of Applied Logics - IfCoLog Journal Journal of Logics and their Applications
Conference Title
Book Title
Edition
Volume
6
Issue
5
Thesis Type
Degree Program
School
Publisher link
DOI
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
© The Individual authors and College Publications 2019. This is an Open Access article distributed under the terms of the Creative Commons Attribution-NonCommercial-NoDerivs 4.0 International (CC BY-NC-ND 4.0) License, which permits unrestricted, non-commercial use, distribution and reproduction in any medium, providing that the work is properly cited.
Item Access Status
Note
Access the data
Related item(s)
Subject
Logic
Law and legal studies
Science & Technology
Logic
Science & Technology - Other Topics
Persistent link to this record
Citation
Governatori, G; Rotolo, A, Time and Compensation Mechanisms in Checking Legal Compliance, Journal of Applied Logics - IfCoLog Journal, 2019, 6 (5), pp. 815-845