A compositional semantics for the game-theoretical interpretation of logic
In a number of publications J. Hintikka argues for a variant of game
theoretical semantics for predicate logic in which information can be
hidden. Hintikka claimed that no compositional semantics was possible for
such an interpretation. However, W. Hodges designed one. Hodges
formalization made clear that there are ways to use information in an un
expected way: by giving signals to oneself. One might considering it as
(unintended) cheating, or say that it is all in the game. The present
contribution gives an alternative to Hodges proposal that is considerably
simpler, and that tries to avoid such signals.
Theo M.V. Janssen