Epistemic GDL: A logic for representing and reasoning about imperfect information games

Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang