B. Ramos Mendonça, “Game Semantics, Quantifiers and Logical Omniscience”, LLP, vol. 31, no. 4, pp. 557–578, Jun. 2022.