Imperfect Information in Logic and Concurrent Games

Abstract
This paper builds on a recent definition of concurrent games as event structures and an application giving a concurrent-game model for predicate calculus. An extension to concurrent games with imperfect information, through the introduction of `access levels' to restrict the allowable strategies, leads to a concurrent-game semantics for a variant of Hintikka and Sandu's Independence-Friendly (IF) logic.