A formal study on legal compliance and interpretation
Guido Boella, Guido Governatori, Antonino Rotolo, Leendert van der Torre · 2010
This paper proposes a logical framework to capture the norm change power and the limitations of the judicial system in revising the set of constitutive rules defining the concepts on which the applicability of norms is based. In particular, we reconstruct the legal arguments leading to an extensive or restrictive interpretation of norms.