On the semantics of informational independence

  title={On the semantics of informational independence},
  author={Jouko A. V{\"a}{\"a}n{\"a}nen},
  journal={Logic Journal of the IGPL},
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-Fräıssé game adequate for this logic and use it to define a Distributive Normal Form for independence friendly logic. 

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 21 extracted citations


Publications referenced by this paper.
Showing 1-7 of 7 references

Distributive normal forms in the calculus of predicates

Jaakko Hintikka
Acta Philosophica Fennica • 1953
View 6 Excerpts
Highly Influenced

Compositional Semantics for a Language of Imperfect Information

Logic Journal of the IGPL • 1997
View 5 Excerpts
Highly Influenced

Some Strange Quantifiers

Structures in Logic and Computer Science • 1997
View 5 Excerpts
Highly Influenced

Informational independence as a semantical phenomenon

Jaakko Hintikka, Gabriel Sandu
In Logic, methodology and philosophy of science, VIII (Moscow, • 1987
View 4 Excerpts
Highly Influenced

Infinite games with perfect information, In ”Contributions to the theory of games II

David Gale, Frank Stewart
Ann. Math. Studies • 1953
View 2 Excerpts

Quantifiers for reasoning with imperfect information and Σ 11logic

Xavier Caicedo, Michal Krynicki
Contemporary Mathematics

Similar Papers

Loading similar papers…