Abstract
In this paper, I develop a syntactic framework for the analysis ofstrategic form games that is based on a straightforward combination ofstandard systems of doxastic, probabilistic and conditionalpropositional logic. In particular, for the probabilistic part I makeuse of the axiomatization provided in Fagin and Halpern (1994). The use ofconditionals allows to represent a strategic form game by a logicalformula in a very natural way. Also expected utility maximization can benaturally captured. I use this framework to prove a version of a resulton Nash equilibrium conjectures first presented in Aumann and Brandenburger (1995).
Similar content being viewed by others
References
Aumann, R., 1999, “Interactive epistemology, Part II,” International Journal of Game Theory 28, 301–314.
Aumann, R. and Brandenburger, A., 1995, “Epistemic conditions for Nash equilibrium,” Econometrica 63, 1161–1180.
Dekel, E. and Gul, F., 1996, “Rationality and common knowledge in game theory,” pp. 87–172 in Advances in Economics and Econometrics: Theory and Application, Vol. 1, D.M. Kreps and K.F. Wallis, eds., Cambridge: Cambridge University Press.
Fagin, R. and Halpern, J., 1994, “Reasoning about knowledge and probability,” Journal of the ACM 41, 340–367.
Fagin, R., Halpern, J., and Meggido, N., 1990, “A logic for reasoning about probabilities,” Information and Computation 87, 78–128.
Halpern, J., “Set-theoretic completeness for epistemic and conditional logic,” Annals of Mathematics and Artificial Intelligence 26, 1–27.
Halpern, J. and Moses, Y., 1992, “A guide to completeness and complexity for modal logics of knowledge and belief,” Artificial Intelligence 54, 311–379.
Jeffrey, R., 1983, The Logic of Decision, 2nd edn., Chicago, IL: Chicago University Press.
Joyce, J. and Gibbard, A., “Causal decision theory,” pp. 627–666 in Handbook of Utility Theory, Vol. I, S. Barbera, P. J. Hammond, and C. Seidl, eds., Dordrecht: Kluwer Academic Publishers.
Nute, D., 1984, “Conditional logic,” pp. 387–439 in Handbook of Philosophical Logic, Vol. II, D. Gabbay and F. Guenthner, eds., Dordrecht: Kluwer Academic Publishers.
Rabinowicz, W., 1998, “Grappling with the centipede: Defence of backward induction for BIterminating games,” Philosophy and Economics 14, 95–126.
Shin, H.S., 1992, “Counterfactuals and a theory of equilibrium in games,” pp. 397–413 in Knowledge, Belief and Strategic Interaction, C. Bicchieri and M. L. Dalla Chiara, eds., Cambridge: Cambridge University Press.
van Fraassen, B., 1995, “Fine-grained opinion, probability, and the logic of full belief,” Journal of Philosophical Logic 24, 349–377.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Clausing, T. A Syntactic Framework with Probabilistic Beliefs and Conditionals for the Analysis of Strategic Form Games. Journal of Logic, Language and Information 11, 335–348 (2002). https://doi.org/10.1023/A:1015538212809
Issue Date:
DOI: https://doi.org/10.1023/A:1015538212809