Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 42, Number 4 (2001), 193-210.
Propositional Logic of Imperfect Information: Foundations and Applications
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.
Notre Dame J. Formal Logic Volume 42, Number 4 (2001), 193-210.
First available in Project Euclid: 12 September 2003
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Pietarinen, Ahti-Veikko. Propositional Logic of Imperfect Information: Foundations and Applications. Notre Dame J. Formal Logic 42 (2001), no. 4, 193--210. doi:10.1305/ndjfl/1063372242. https://projecteuclid.org/euclid.ndjfl/1063372242