Gil Neiger;Mark R. Tuttle
-;-
Combining epistemic logic and hennessy-milner logic
Logic and Program Semantics