Epistemic Logic for Communication Chains.

Jeffrey Kane Pavel Naumov

Published in: CoRR (2013)

Keyphrases

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