Author:
Goranko Valentin,Pacuit Eric
Publisher
Springer International Publishing
Reference61 articles.
1. Ågotnes T, van Ditmarsch H (2014) Knowledge games and coalitional abilities. In: Baltag A, Smets S (eds) Johan van Benthem on Logic and Information Dynamics, Springer, Dordrecht, pp 451–485 (Chapter 16 in this volume)
2. Alur R, Henzinger TA, Kuperman O (2002) Alternating-time temporal logic. J ACM 49(5):672–713
3. Baltag A, Moss L, Solecki S (1998) The logic of common knowledge, public announcements and private suspicions. In: Gilboa I (ed) Proceedings of the 7th conference on theoretical aspects of rationality and knowledge (TARK 98), pp 43–56
4. van Benthem J (1984) Tense logic and time. Notre Dame J. Formal Logic 25:1–16
5. van Benthem J, van Eijck J, Kooi B (2006) Logics of communication and change. Inf Comput 204(11):1620–1662