Propositional Logic of Imperfect Information: Foundations and Applications
Pietarinen, Ahti-Veikko
Notre Dame J. Formal Logic, Tome 42 (2001) no. 4, p. 193-210 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
I will show that the semantic structure of a new imperfect-information propositional logic can be described in terms of extensive forms of semantic games. I will discuss some ensuing properties of these games such as imperfect recall, informational consistency, and team playing. Finally, I will suggest a couple of applications that arise in physics, and most notably in quantum theory and quantum logics.
Publié le : 2001-10-14
Classification:  propositional logic,  imperfect information,  extensive games,  quantum logic,  03B99,  81P10,  91A18 
@article{1063372242,
     author = {Pietarinen, Ahti-Veikko},
     title = {Propositional Logic of Imperfect Information: Foundations and Applications},
     journal = {Notre Dame J. Formal Logic},
     volume = {42},
     number = {4},
     year = {2001},
     pages = { 193-210},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1063372242}
}

Pietarinen, Ahti-Veikko. Propositional Logic of Imperfect Information: Foundations and Applications. Notre Dame J. Formal Logic, Tome 42 (2001) no. 4, pp.  193-210. http://gdmltest.u-ga.fr/item/1063372242/