Game solution, epistemic dynamics and fixed-point logics

DOI10.3233/FI-2010-261MaRDI QIDQ3065009zbMATHOpenAlexFDO

Authors Amélie Gheerbrant, Johan van Benthem

Publication date 3 January 2011

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2010-261

zbMATH Keywords

dynamic epistemic logicperfect informationbackward inductionfixed-point logicextensive-form game

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Games in extensive form (91A18)

Recommendations

• Branching time, perfect information games, and backward induction
• An epistemic logic of extensive games
• A dynamic epistemic characterization of backward induction without counterfactuals
• ERRATUM: "RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES"
• RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES

Cited in

(19)

• An epistemic logic of extensive games
• An abstract look at the fixed-point theorem for provability logic
• An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability
• Game description language and dynamic epistemic logic compared
• Logic and Game Theory
• ERRATUM: "RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES"
• Modeling reasoning in a social setting
• Preference at first sight
• scientific article; zbMATH DE number 3893163 (Why is no real title available?)
• scientific article; zbMATH DE number 7450024 (Why is no real title available?)
• Reasoning about strategies
• Toward a theory of play: a logical perspective on games and interaction
• RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES
• A dynamic-logical characterization of solutions to sight-limited extensive games
• Computational ability in games: individual difference and dynamics
• Automata, Languages and Programming
• Generalized backward induction: justification for a folk algorithm
• On the use (and abuse) of logic in game theory
• A dynamic analysis of interactive rationality

This page was built for publication: Game solution, epistemic dynamics and fixed-point logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3065009)