Thompson transformations for IF-logic

DOI10.1007/S11229-005-3876-7zbMath1103.03026OpenAlexW1981178597MaRDI QIDQ2500828

Francien Dechesne

Publication date: 18 August 2006

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-005-3876-7

zbMATH Keywords

independence-friendly logicgames of imperfect informationsemantic games

Mathematics Subject Classification ID

Applications of game theory (91A80) Other nonclassical logic (03B60) Logics of knowledge and belief (including belief change) (03B42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A remark on Henkin sentences and their contraries
• Reexamination of the perfectness concept for equilibrium points in extensive games
• On the strategic equivalence of extensive form games
• On the interpretation of decision problems with imperfect recall
• Independent choices and the interpretation of IF logic
• Memory and perfect recall in extensive games
• Games in Dynamic-Epistemic Logic
• On the semantics of informational independence
• Equivalence and quantifier rules for logic with imperfect information
• Compositional semantics for a language of imperfect information
• Partiality and games: propositional logic

This page was built for publication: Thompson transformations for IF-logic