Modeling legal conflict resolution based on dynamic logic

, &
Journal of Logic and Computation 31 (4):1102-1128 (2021)
  Copy   BIBTEX

Abstract

Conflicts between legal norms are common in reality. In many legislations, legal conflicts between norms are resolved by applying ordered principles. This work presents a formalization of the conflict resolution mechanism and introduces action legal logic (⁠ALL) to reason about the normative consequences of possibly conflicting legal systems. The semantics of ALL is explicitly based on legal systems consisting of norms and ordered principles. Legal systems specify the legal status of transitions in transition systems and the language of ALL describes the legal status of paths in transition systems. The formalization is used to study abstract revisions of legal systems. The expressivity of ALL is studied and its completeness is proved.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

How deontic logic contributes to the analysis of legal systems. Review of Navarro & Rodríguez, Deontic Logic and Legal Systems.Jan Woleński - 2016 - Revus 29.
Normative Conflict in Legal Systems: A Functional Analysis.Howard Hamner Hill - 1985 - Dissertation, Washington University
Conflict of legal norms: definition and varieties.Lars Lindahl & David Reidhav - unknown
A systematics of deontic action logics based on Boolean algebra.Robert Trypuz & Piotr Kulicki - 2009 - Logic and Logical Philosophy 18 (3-4):253-270.
Deontic Logic and Legal Systems.Pablo E. Navarro & Jorge L. Rodríguez - 2014 - New York , NY: Cambridge University Press. Edited by Jorge L. Rodriguez.
Dynamic Logic of Legal Competences.Huimin Dong & Olivier Roy - 2021 - Journal of Logic, Language and Information 30 (4):701-724.
Deontic logics for prioritized imperatives.Jörg Hansen - 2006 - Artificial Intelligence and Law 14 (1-2):1-34.
Deontic logic and the possibility of moral conflict.Michael J. Almeida - 1990 - Erkenntnis 33 (1):57 - 71.
An Inconsistency-Adaptive Deontic Logic for Normative Conflicts.Mathieu Beirlaen, Christian Straßer & Joke Meheus - 2013 - Journal of Philosophical Logic 42 (2):285-315.
Adat and Islam in Malaysia: A Study in Legal Conflict and Resolution.Isma'il Bin Mat - 1985 - Dissertation, Temple University
Basic Action Deontic Logic.Alessandro Giordani & Ilaria Canavotto - 2016 - In Olivier Roy, Allard Tamminga & Malte Willer (eds.), Deontic Logic and Normative Systems. London, UK: College Publications. pp. 80-92.
Zasada aglomeracji i dylematy moralne.Marcin Drofiszyn - 2020 - Studia Philosophica Wratislaviensia 14 (4):89-104.
Deontic logic in the representation of law: Towards a methodology. [REVIEW]Andrew J. I. Jones & Marek Sergot - 1992 - Artificial Intelligence and Law 1 (1):45-64.
The Structure of Conflicts of Fundamental Legal Rights.David Martinez-Zorrilla - 2011 - Law and Philosophy 30 (6):729-749.
Tolerating deontic conflicts by adaptively restricting inheritance.Christian Strasser, Mathieu Beirlaen & Joke Meheus - 2012 - Logique Et Analyse 55 (219):477-506.

Analytics

Added to PP
2021-11-18

Downloads
31 (#518,746)

6 months
8 (#370,225)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Karl Nygren
Stockholm University
Tianwen Xu
Zhejiang University

Citations of this work

No citations found.

Add more citations

References found in this work

A Problem about Permission.David K. Lewis - 1979 - In Esa Saarinen, Risto Hilpinen, Illka Niiniluoto & Merrill Provence (eds.), Essays in Honour of Jaakko Hintikka on the Occasion of His Fiftieth Birthday on January 12, 1979. Reidel. pp. 163-175.

Add more references