A New Modal Framework for Epistemic Logic.

Published in: CoRR (2017)

Keyphrases

epistemic logic
logical framework
modal logic
dynamic epistemic logic
artificial intelligence
knowledge base
image processing
bayesian networks
probabilistic model
model checking
cooperative
expert systems
software engineering