1. Epistemic GDL: A logic for representing and reasoning about imperfect information games;Jiang,2016
2. Epistemic Game Theory: Reasoning and Choice;Perea,2012
3. Logic in Games;van Benthem,2014
4. Alternating-time temporal logic;Alur;J. ACM,2002
5. A modal logic for coalitional power in games;Pauly;J. Log. Comput.,2002