A general framework for dynamic epistemic logic: towards canonical correspondences.

Published in: J. Appl. Non Class. Logics (2017)

Keyphrases

dynamic epistemic logic
epistemic logic
point correspondences
modal logic
model checking
machine learning
computer vision
multi agent
probability distribution
object oriented
computational model
multi faceted