On the logic of informational independence and its applications (Q1208148)

I introduce a language which is an extension of an ordinary first-order language and is obtained in the following way: in addition to the usual first-order formulas, there will be formulas whose logical constants are not linearly ordered. This language will be interpreted via semantical games of imperfect information. Such games are defined in the same way as the games for ordinary first-order formulas, except that the players do not have complete information during the course of the game. Some simple properties of the arising logic will be given together with a set of applications in philosophy and theoretical linguistics.