Author:John Lindqvist

Keyphrases

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