Statistical Epistemic Logic.

Yusuke Kawamoto

Published in: CoRR (2019)

Keyphrases

epistemic logic
model checking
modal logic
dynamic epistemic logic
inference rules
multi faceted
logical framework
multi agent systems
model checker
computation tree logic
cooperative
software engineering
logic programs