Epistemic Logic for Communication Chains.

Jeffrey Kane Pavel Naumov

Published in: TARK (2013)

Keyphrases

epistemic logic
model checking
modal logic
multi faceted
dynamic epistemic logic
logical framework
multi agent systems
computation tree logic
inference rules
formal semantics
model checker
temporal logic
mathematical theory