Dynamic epistemic logic of belief change in legal judgments

Artificial Intelligence and Law 26 (3):201-249 (2018)
  Copy   BIBTEX


This study realizes belief/reliability change of a judge in a legal judgment by dynamic epistemic logic. A key feature of DEL is that possibilities in an agent’s belief can be represented by a Kripke model. This study addresses two difficulties in applying DEL to a legal case. First, since there are several methods for constructing a Kripke model, our question is how we can construct the model from a legal case. Second, since this study employs several dynamic operators, our question is how we can decide which operators are to be applied for belief/reliability change of a judge. In order to solve these difficulties, we have implemented a computer system which provides two functions. First, the system can generate a Kripke model from a legal case. Second, the system provides an inconsistency solving algorithm which can automatically perform several operations in order to reduce the effort needed to decide which operators are to be applied. By our implementation, the above questions can be adequately solved. With our analysis method, six legal cases are analyzed to demonstrate our implementation.



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

External links

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

Through your library

Similar books and articles

Dynamic logic for belief revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.
Arrow update logic.Barteld Kooi & Bryan Renne - 2011 - Review of Symbolic Logic 4 (4):536-559.
Conditioning and Interpretation Shifts.Jan-Willem Romeijn - 2012 - Studia Logica 100 (3):583-606.
Paraconsistent dynamics.Patrick Girard & Koji Tanaka - 2016 - Synthese 193 (1):1-14.
Infinitary belief revision.Dongmo Zhang & Norman Foo - 2001 - Journal of Philosophical Logic 30 (6):525-570.
Dynamic Tableaux for Dynamic Modal Logics.Jonas De Vuyst - 2013 - Dissertation, Vrije Universiteit Brussel
Awareness Dynamics.Brian Hill - 2010 - Journal of Philosophical Logic 39 (2):113-137.


Added to PP

25 (#652,269)

6 months
9 (#354,585)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Katsuhiko Sano
Hokkaido University

Citations of this work

No citations found.

Add more citations