Sciweavers

IGPL
2002
77views more  IGPL 2002»
14 years 16 days 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