Sciweavers

IGPL
2002
77views more  IGPL 2002»
13 years 11 months ago
On the semantics of informational independence
The semantics of the independence friendly logic of Hintikka and Sandu is usually defined via a game of imperfect information. We give a definition in terms of a game of perfect i...
Jouko A. Väänänen