Author:Fernando R. Velázquez-Quesada

Keyphrases

bisimilarity, cautious distributed belief, distributed knowledge, epistemic logic, expressivity.