Author:Thomas Ågotnes

Keyphrases

Action Model Logic, bisimilarity, cautious distributed belief, Coalition Logic, distributed knowledge, Dynamic Coalition Logic, dynamic epistemic logic, epistemic logic, expressivity.