An infinitary probability logic for type spaces

DOI10.1007/s11856-012-0046-8zbMath1276.91039OpenAlexW1877096419MaRDI QIDQ1932650

Martin Meier

Publication date: 21 January 2013

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11856-012-0046-8

zbMATH Keywords

completenesslogical systemtype spacessoundnessepistemic game theoryincomplete information gamescanonical modelsystem of axiomsuniversal modelbelief-completeHarsanyi program

Mathematics Subject Classification ID

Bayesian problems; characterization of Bayes procedures (62C10) Noncooperative games (91A10) Games involving topology, set theory, or logic (91A44) Logics of knowledge and belief (including belief change) (03B42) Probability and inductive logic (03B48) Rationality and learning in game theory (91A26)

Related Items

Common belief in rationality in psychological games. Belief-dependent utility and the limits of strategic reasoning ⋮ Logics with lower and upper probability operators ⋮ Multi-agent logics for reasoning about higher-order upper and lower probabilities ⋮ The existence of universal qualitative belief spaces ⋮ Universal type structures with unawareness ⋮ An infinitary propositional probability logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Probability logic of finitely additive beliefs ⋮ Conditional belief types ⋮ Intuitive Probability Logic ⋮ ON THE COMPLETENESS OF THE UNIVERSAL KNOWLEDGE–BELIEF SPACE: A TECHNICAL NOTE ⋮ The context of the game ⋮ Probabilities defined on standard and non-standard cylindric set algebras ⋮ Completeness theorems for \(\sigma \)-additive probabilistic semantics ⋮ Logics with Probability Operators

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• An impossibility theorem on beliefs in games
• Formulation of Bayesian analysis for games with incomplete information
• Hierarchies of conditional beliefs and interactive epistemology in dynamic games
• On solutions of Bayesian games
• Agreeing to disagree
• Topology-free typology of beliefs
• Knowledge spaces with arbitrarily high rank
• On the nonexistence of universal information structures
• Type space on a purely measurable parameter space
• Hierarchies of beliefs and common knowledge
• Interactive epistemology. I: Knowledge
• Interactive epistemology. II: Probability
• A logic for reasoning about probabilities
• Coherent beliefs are not always types.
• The Bayesian formulation of incomplete information. The non-compact case
• Universal knowledge-belief structures
• Hierarchies of beliefs for compact possibility models
• Finitely additive beliefs and universal type spaces
• Reasoning about knowledge and probability
• Infinitary S5‐Epistemic Logic
• Epistemic Conditions for Nash Equilibrium
• Games with Incomplete Information Played by “Bayesian” Players, I–III Part I. The Basic Model
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Probability logic for type spaces