Author:Thomas Ågotnes
KeyphrasesAction Model Logic, bisimilarity, cautious distributed belief, Coalition Logic, distributed knowledge, Dynamic Coalition Logic, dynamic epistemic logic, epistemic logic, expressivity. |
| ||||
Copyright © 2012-2024 easychair.org. All rights reserved. |