 The framework of GTS enables asking questions of a game-theoretical nature about semantic evaluation. Hintikka (1973a) observed that semantic games with imperfect information are devised without any difficulty. As logical examples he used \(\mathbf{FPO}\) sentences. (For examples related to natural languages, see Subsect. 5.4.)