A compositional semantic for the game-theoretical interpretation of logic

Abstract

In a number of publications (e.g. Hintikka (1996), Hintikka & Sandu (1997)) is argued for IF logic: a variant of game theoretical semantics for predicate logic in which information can be hidden. Hintikka claimed that no compositional semantics was possible for this logic. However, W. Hodges designed one (Hodges (1997a), Hodges (1997b)). Hodges formalization made clear that there are methods to use hidden information in an unexpected way: by giving signals to oneself. The present contribution gives an alternative called UF-semantics) that is compositional, but considerably simpler, and tries to avoid such signals.