Sciweavers

IGPL
2002
77views more  IGPL 2002»
13 years 4 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