Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces

DOI10.1007/s11229-015-0834-xzbMath1397.03020DBLPjournals/synthese/GaleazziL16OpenAlexW1671390322WikidataQ59469187 ScholiaQ59469187MaRDI QIDQ516317

Emiliano Lorini, Paolo Galeazzi

Publication date: 14 March 2017

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-015-0834-x

zbMATH Keywords

type spaceepistemic logicinteractive epistemologyepistemic game theorySTIT logic

Mathematics Subject Classification ID

Game theory (91A99) Logics of knowledge and belief (including belief change) (03B42)

Related Items (6)

Quantified temporal alethic boulesic doxastic logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Knowledge, belief, normality, and introspection ⋮ Doxastic logic: a new approach ⋮ Intensional protocols for dynamic epistemic logic

Uses Software

• SQEMA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic for reasoning about counterfactual emotions
• Alternative axiomatics and complexity of deliberative STIT theories
• Keep `hoping' for rationality: a solution to the backward induction paradox
• Formulation of Bayesian analysis for games with incomplete information
• Knowledge, belief and time
• Knowledge spaces with arbitrarily high rank
• Many-dimensional modal logics: theory and applications
• Hierarchies of beliefs and common knowledge
• The hierarchical approach to modeling knowledge and common knowledge
• Strong belief and forward induction reasoning.
• Changing types: information dynamics for qualitative type spaces
• A modal logic of epistemic games
• On the epistemic foundation for iterated weak dominance: an analysis in a logic of individual and collective attitudes
• A quantitative analysis of modal logic
• A model-theoretic analysis of knowledge
• Epistemic Conditions for Nash Equilibrium
• Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
• Games with Incomplete Information Played by “Bayesian” Players, I–III Part I. The Basic Model
• Probability logic for type spaces

This page was built for publication: Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces