Ramos Mendonça, B. Game Semantics, Quantifiers and Logical Omniscience. LLP 2022, 31, 557-578.