Logic Journal of the IGPL 18 (1):157-194 (2010)

In this paper we investigate how to represent and reason about legal abrogations and annulments in Defeasible Logic. We examine some options that embed in this setting, and in similar rule-based systems, ideas from belief and base revision. In both cases, our conclusion is negative, which suggests to adopt a different logical model. This model expresses temporal aspects of legal rules, and distinguishes between two main timelines, one internal to a given temporal version of the legal system, and another relative to how the legal system evolves over time. Accordingly, we propose a temporal extension of Defeasible Logic suitable to express this model and to capture abrogation and annulment. We show that the proposed framework overcomes the difficulties discussed in regard to belief and base revision, and is sufficiently flexible to represent many of the subtleties characterizing legal abrogations and annulments
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/jigpal/jzp075
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,489
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Towards a General Theory of Action and Time.James F. Allen - 1984 - Artificial Intelligence 23 (2):123-154.

Add more references

Citations of this work BETA

AGM 25 Years: Twenty-Five Years of Research in Belief Change.Eduardo Fermé & Sven Ove Hansson - 2011 - Journal of Philosophical Logic 40 (2):295 - 331.
Logic of Belief Revision.Sven Ove Hansson - 2008 - Stanford Encyclopedia of Philosophy.
NO Revision and NO Contraction.Gregory Wheeler & Marco Alberti - 2011 - Minds and Machines 21 (3):411-430.

View all 16 citations / Add more citations

Similar books and articles

A Theory of Legal Reasoning and a Logic to Match.Jaap Hage - 1996 - Artificial Intelligence and Law 4 (3-4):199-273.
AI and the Conquest of Complexity in Law.L. Wolfgang Bibel - 2004 - Artificial Intelligence and Law 12 (3):159-180.
The Modular Logic of Private International Law.Phan Minh Dung & Giovanni Sartor - 2011 - Artificial Intelligence and Law 19 (2-3):233-261.
Promulgation and Derogation of Legal Rules.Pablo E. Navarro - 1993 - Law and Philosophy 12 (4):385 - 394.
A Computational Framework for Institutional Agency.Guido Governatori & Antonino Rotolo - 2008 - Artificial Intelligence and Law 16 (1):25-52.
Model for Knowledge and Legal Expert Systems.Anja Oskamp - 1992 - Artificial Intelligence and Law 1 (4):245-274.
Scientia Iuris - an Unsolved Philosophical Problem.Aleksander Peczenik - 2000 - Ethical Theory and Moral Practice 3 (3):273-302.


Added to PP index

Total views
19 ( #585,372 of 2,520,893 )

Recent downloads (6 months)
1 ( #405,457 of 2,520,893 )

How can I increase my downloads?


My notes