Game solution, epistemic dynamics and fixed-point logics

DOI10.3233/FI-2010-261MaRDI QIDQ3065009zbMATH OpenOpenAlexFDO

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

backward inductiondynamic epistemic logicextensive-form gamefixed-point logicperfect information

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

(20)

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

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)