Propositional Logic of Imperfect Information: Foundations and Applications
Ahti-Veikko Pietarinen
Source: Notre Dame J. Formal Logic Volume 42, Number 4 (2001), 193-210.
Abstract
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.
Primary Subjects: 03B99
Secondary Subjects: 81P10, 91A18
Keywords: propositional logic; imperfect information; extensive games; quantum logic
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1063372242
Digital Object Identifier: doi:10.1305/ndjfl/1063372242
Mathematical Reviews number (MathSciNet):
MR2010181
Zentralblatt MATH identifier:
1034.03035
References
[1] Bell, J. S., "On the Einstein-Podolsky-Rosen paradox", Physics, vol. 1 (1964), pp. 195--200.
[2] Binmore, K., "A note on imperfect recall", pp. 51--62 in Understanding Strategic Interaction. Essays in Honor of Reinhard Selten, edited by Albers, Wulf, et al., Springer Verlag, New York, 1996.
Zentralblatt MATH:
0874.90220
[3] Birkhoff, G. , and J. von Neumann, "The logic of quantum mechanics", Annales Mathematicae, vol. 37 (1936), pp. 823--43.
[4] Boukas, A., "Quantum formulation of classical two-person zero-sum games", Open Systems & Information Dynamics, vol. 7 (2000), pp. 19--32.
Mathematical Reviews (MathSciNet):
MR2001k:81085
Zentralblatt MATH:
01530001
[5] Bub, J., Interpreting the Quantum World, Cambridge University Press, Cambridge, 1997.
Mathematical Reviews (MathSciNet):
MR99f:81006
Zentralblatt MATH:
01118850
[6] Deutsch, D., A. Ekert , and R. Lupacchini, "Machines, logic and quantum physics", The Bulletin of Symbolic Logic, vol. 6 (2000), pp. 265--83.
[7] Einstein, A., B. Podolsky , and N. Rosen, ``Can quantum mechanical description of physical reality be considered complete?'' Physical Review, vol. 47 (1935), pp. 777--80.
Zentralblatt MATH:
0012.04201
[8] Greenberger, D. M., M. Horne , and A. Zeilinger, "Going beyond Bell's theorem", pp. 69--72 in Bell's Theorem, Quantum Theory and Conceptions of the Universe. Proceedings of the Fall Workshop held at George Mason University, Fairfax, Virginia, October 21--22, 1988, edited by M. Kafatos, Kluwer Academic Publishers Group, Dordrecht, 1989.
Mathematical Reviews (MathSciNet):
MR90i:81018
[9] Hardegree, G. M. , and P. J. Frazer, "Charting the labyrinth of quantum logics: A progress report", pp. 53--76 in Current Issues in Quantum Logic, Plenum, New York, 1981.
Mathematical Reviews (MathSciNet):
MR84k:03144
Zentralblatt MATH:
0537.03044
[10] Hintikka, J., The Principles of Mathematics Revisited, Cambridge University Press, Cambridge, 1996.
Mathematical Reviews (MathSciNet):
MR97j:03005
Zentralblatt MATH:
0869.03003
[11] Hintikka, J. , and G. Sandu, "Game-theoretical semantics", pp. 361--410 in Handbook of Logic and Language, edited by J. van Benthem and A. ter Meulen, North-Holland Publishing Co., Amsterdam, 1997.
Mathematical Reviews (MathSciNet):
MR98e:03025
Zentralblatt MATH:
0874.03001
[12] Ho, Y. C. , and F. K. Sun, "Value of information in two-team zero-sum problems", Journal of Optimization Theory and Applications, vol. 14 (1974), pp. 557--71.
Mathematical Reviews (MathSciNet):
MR50:6512
Zentralblatt MATH:
0272.90094
[13] Hughes, R. I. G., "Semantic alternatives in partial Boolean algebras", Journal of Philosophical Logic, vol. 14 (1985), pp. 411--46.
Zentralblatt MATH:
0585.03036
Mathematical Reviews (MathSciNet):
MR816244
Digital Object Identifier: doi:10.1007/BF00649484
[14] Hughes, R. I. G., The Structure and Interpretation of Quantum Mechanics, Harvard University Press, Cambridge, 1989.
Mathematical Reviews (MathSciNet):
MR91f:81005
[15] Isbell, J. R., "Finitary games", pp. 79--96 in Contributions to the Theory of Games, Princeton University Press, Princeton, 1957.
Mathematical Reviews (MathSciNet):
MR19,1245c
Zentralblatt MATH:
0078.32803
[16] Kim, K. H. , and F. W. Roush, Team Theory, Ellis Horwood Ltd., Chichester, 1987.
Mathematical Reviews (MathSciNet):
MR88k:90001
Zentralblatt MATH:
0643.90001
[17] Kochen, S. , and E. P. Specker, "The problem of hidden variables in quantum mechanics", Journal of Mathematics and Mechanics, vol. 17 (1967), pp. 59--87.
Mathematical Reviews (MathSciNet):
MR36:2363
Zentralblatt MATH:
0156.23302
[18] Koller, D. , and N. Megiddo, "The complexity of two-person zero-sum games in extensive form", Games and Economic Behavior, vol. 4 (1992), pp. 528--52.
Mathematical Reviews (MathSciNet):
MR94a:90035
Zentralblatt MATH:
0758.90084
Digital Object Identifier: doi:10.1016/0899-8256(92)90035-Q
[19] Kuhn, H. W., editor, Classics in Game Theory, Princeton University Press,
Princeton, 1997.
Mathematical Reviews (MathSciNet):
MR98m:90003
Zentralblatt MATH:
01894877
[20] Lehrer, E., "Repeated games with stationary bounded recall strategies", Journal of Economic Theory, vol. 46 (1988), pp. 130--144.
Mathematical Reviews (MathSciNet):
MR90k:90192
Zentralblatt MATH:
0653.90106
[21] Mermin, N. D., "Hidden variables and the two theorems of John Bell", Reviews of Modern Physics, vol. 65 (1993), pp. 803--815.
Mathematical Reviews (MathSciNet):
MR95a:81023
Digital Object Identifier: doi:10.1103/RevModPhys.65.803
[22] Osborne, M. J. , and A. Rubinstein, A Course in Game Theory, The MIT Press, Cambridge, 1994.
Mathematical Reviews (MathSciNet):
MR95k:90002
[23] Pan, J.-W., et al., "Experimental test of quantum nonlocality in three-photon Greenberger-Horne-Zeilinger entanglement", Nature, vol. 403 (2000), pp. 515--19.
[24] Piccione, M. , and A. Rubinstein, "On the interpretation of decision problems with imperfect recall", Games and Economic Behavior, vol. 20 (1997), pp. 3--24.
Mathematical Reviews (MathSciNet):
MR1467534
Zentralblatt MATH:
0885.90147
Digital Object Identifier: doi:10.1006/game.1997.0536
[25] Pietarinen, A., "Quantum logic and quantum theory in a game-theoretic perspective", Open Systems & Information Dynamics, vol. 9 (2002), pp. 273--90.
[26] Pietarinen, A. , and G. Sandu, "Games in philosophical logic", Nordic Journal of Philosophical Logic, vol. 4 (1999), pp. 143--73.
Mathematical Reviews (MathSciNet):
MR1834736
Zentralblatt MATH:
0947.03005
[27] Putnam, H., ``Is logic empirical?'' pp. 181--206 in Boston Studies in the Philosophy of Science, edited by R. Cohen and M. Wartofsky, D. Reidel, Dordrecht, 1969.
[28] Rasmusen, E., Games and Information: An Introduction to Game Theory, Blackwell, Cambridge, 1989.
Zentralblatt MATH:
0699.68006
[29] Sackett, C. A., et al., "Experimental entanglement of four particles", Nature, vol. 404 (2000), pp. 256--59.
[30] Sandu, G. , and A. Pietarinen, "Informationally independent connectives", in Games, Logic, and Constructive Sets, edited by G. Mints and R. Muskens, Chicago University Press, Chicago, 2003.
Mathematical Reviews (MathSciNet):
MR2023258
Zentralblatt MATH:
1038.03032
[31] Sandu, G., "On the logic of informational independence and its applications", Journal of Philosophical Logic, vol. 22 (1993), pp. 29--60.
Mathematical Reviews (MathSciNet):
MR94b:03069
Zentralblatt MATH:
0764.03009
[32] Sandu, G. , and A. Pietarinen, "Partiality and games: Propositional logic", Logic Journal of the IGPL. Interest Group in Pure and Applied Logics, vol. 9 (2001), pp. 101--21.
Mathematical Reviews (MathSciNet):
MR2001m:03062
Zentralblatt MATH:
0971.03031
Digital Object Identifier: doi:10.1093/jigpal/9.1.101
[33] Strotz, R., "Myopia and inconsistency in dynamic utility maximization", Review of Economic Studies, vol. 23 (1956), pp. 165--80.
[34] Thompson, F., Equivalence of Games in Extensive Form, RM-759, The Rand Corporation, California, 1952. Reprinted in [?], pp. 36--45.
[35] von Neumann, J. , and O. Morgenstern, Theory of Games and Economic Behavior, Princeton University Press, Princeton, 1944.
Mathematical Reviews (MathSciNet):
MR6,235k
Zentralblatt MATH:
0063.05930
Notre Dame Journal of Formal Logic
