Statistical Epistemic Logic.

Yusuke Kawamoto

Published in: The Art of Modelling Computational Systems (2019)

Keyphrases

epistemic logic
modal logic
model checking
logical framework
dynamic epistemic logic
multi agent systems
multi faceted
inference rules
computation tree logic
mathematical theory
artificial intelligence
web services
expert systems