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 information. We also give an Ehrenfeucht-Fra

• Type: Journal
• Year: 2002
• Where: IGPL
• Authors: Jouko A. Väänänen
• Keywords: Distributive Normal Form, Game, IGPL 2002, Independence Friendly Logic