Game solution, epistemic dynamics and fixed-point logics

DOI10.3233/FI-2010-261zbMATH Open1214.03014OpenAlexW1899466088MaRDI QIDQ3065009FDOQ3065009

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

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

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)

Cited In (16)

• On the use (and abuse) of logic in game theory
• Logic and Game Theory
• RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES
• Modeling reasoning in a social setting
• Automata, Languages and Programming
• Computational ability in games: individual difference and dynamics
• A dynamic analysis of interactive rationality
• Reasoning about strategies
• 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
• Title not available (Why is that?)
• Game description language and dynamic epistemic logic compared
• Toward a theory of play: a logical perspective on games and interaction
• Title not available (Why is that?)
• ERRATUM: "RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES"
• Title not available (Why is that?)

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)