A modal logic of epistemic games
Summary: We propose some variants of a multi-modal of joint action, preference and knowledge that support reasoning about epistemic games in strategic form. The first part of the paper deals with games with complete information. We first provide syntactic proofs of some well-known theorems in the area of interactive epistemology that specify some sufficient epistemic conditions of equilibrium notions such as Nash equilibrium and Iterated Deletion of Strictly Dominated Strategies (IDSDS). Then, we present a variant of the logic extended with dynamic operators of Dynamic Epistemic Logic (DEL). We show that it allows to express the notion IDSDS in a more compact way. The second part of the paper deals with games with weaker forms of complete information. We first discuss several assumptions on different aspects of perfect information about the game structure (e.g., the assumption that a player has perfect knowledge about the players' strategy sets or about the preference orderings over strategy profiles), and show that every assumption is expressed by a corresponding logical axiom of our logic. Then we provide a proof of Harsanyi's claim that all uncertainty about the structure of a game can be reduced to uncertainty about payoffs. Sound and complete axiomatizations of the logics are given, as well as some complexity results for the satisfiability problem.
- An epistemic logic of extensive games
- scientific article; zbMATH DE number 795163
- Epistemic games in modal logic: Joint actions, knowledge and preferences all together
- Games in dynamic-epistemic logic
- Epistemic logics and their game theoretic applications: Introduction
- Epistemic game theory and logic: introduction
- Epistemic logic and the foundations of decision and game theory
- Knowledge and Games in Modal Semirings
- Abstract argument games via modal logic
- scientific article; zbMATH DE number 2149374
- A dynamic logic of agency. I: STIT, capabilities and powers
- A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory
- A guide to completeness and complexity for modal logics of knowledge and belief
- A Modal Logic for Coalitional Power in Games
- A near-optimal method for reasoning about action
- An epistemic analysis of the Harsanyi transformation
- Axiomatic Characterizations of Rational Choice in Strategic Environments
- Dynamic logic of preference upgrade
- Epistemic Conditions for Nash Equilibrium
- Everything else being equal: a modal logic for ceteris paribus preferences
- Games with Incomplete Information Played by “Bayesian” Players, I–III Part I. The Basic Model
- scientific article; zbMATH DE number 1499085 (Why is no real title available?)
- Interactive epistemology. I: Knowledge
- Logics for epistemic programs
- On the evaluation of solution concepts
- RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES
- Rationalizability and Correlated Equilibria
- Rationalizable Strategic Behavior and the Problem of Perfection
- Reasoning about information change
- Reasoning about knowledge and probability
- Relationships between nondeterministic and deterministic tape complexities
- The Bayesian foundations of solution concepts of games
- The bounds of reason. Game theory and the unification of the behavioral sciences.
- The epistemic structure of a theory of a game
- Epistemic logics and their game theoretic applications: Introduction
- A modal logic for mixed strategies
- Epistemic GDL: a logic for representing and reasoning about imperfect information games
- Game description language and dynamic epistemic logic compared
- On the epistemic foundation for iterated weak dominance: an analysis in a logic of individual and collective attitudes
- On the use (and abuse) of logic in game theory
- An epistemic logic of extensive games
- Epistemic logic and the foundations of decision and game theory
- Boolean games with epistemic goals
- The logic of a priori and a posteriori rationality in strategic games
- From self-regarding to other-regarding agents in strategic games: a logical analysis
- A STIT logic for reasoning about social influence
- Games in dynamic-epistemic logic
- scientific article; zbMATH DE number 3884133 (Why is no real title available?)
- Knowledge and Games in Modal Semirings
- A note on assumption-completeness in modal logic
- Epistemic games in modal logic: Joint actions, knowledge and preferences all together
- A Modal Logic for Coalitional Power in Games
- scientific article; zbMATH DE number 1989657 (Why is no real title available?)
- scientific article; zbMATH DE number 2063025 (Why is no real title available?)
- scientific article; zbMATH DE number 2149374 (Why is no real title available?)
- scientific article; zbMATH DE number 1377698 (Why is no real title available?)
- scientific article; zbMATH DE number 1453154 (Why is no real title available?)
- scientific article; zbMATH DE number 1453156 (Why is no real title available?)
- Proof theory of epistemic logic of programs
- Towards Syntactic Epistemic Logic
- A minimal logic for interactive epistemology
- Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces
- Logics for dynamic epistemic behavioral strategies
- Common knowledge of payoff uncertainty in games
This page was built for publication: A modal logic of epistemic games
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2344955)
