Combining Epistemic Logic and Hennessy-Milner Logic.

Sophia Knight Radu Mardare Prakash Panangaden

Published in: Logic and Program Semantics (2012)

Keyphrases

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