1. Achimescu, A.: Games and Logic for Informational Cascades. Master’s of Logic Thesis, ILLC (2014). http://www.illc.uva.nl/Research/Publications/Reports/MoL-2014-04.text.pdf
2. Achimescu, A., Baltag, A., Sack, J.: The probabilistic logic of communication and change. In: Presented at and Published in the Informal Proceedings of the Eleventh Conference on Logic and the Foundations of Game and Decision Theory (LOFT’11) (2014)
3. Achimescu, A., Baltag, A., Sack, J.: The Probabilistic Logic of Communication and Change, Manuscript (2015)
4. Alur, R., Henzinger, T., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672–713 (2002)
5. Baltag, A., Smets, S., Zvesper, A.: Keep ‘hoping’ for rationality: a solution to the backward induction paradox. Synthese 169, 705–737 (2009)