Dynamic epistemic logic of belief change in legal judgments.

Pimolluck Jirakunkanok Katsuhiko Sano Satoshi Tojo

Published in: Artif. Intell. Law (2018)

Keyphrases

belief change
dynamic epistemic logic
belief revision
epistemic logic
belief update
prime implicates
model checking
propositional logic
probability theory
minimal change
logical framework
legal reasoning
horn logic
cooperative
rationality postulates
modal logic
epistemic states
expert systems