Thompson transformations for IF-logic

DOI10.1007/S11229-005-3876-7MaRDI QIDQ2500828zbMATH OpenOpenAlexFDO

Authors 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

games of imperfect informationindependence-friendly logicsemantic games

Mathematics Subject Classification ID

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

Recommendations

• A transformational characterization of if-then-else
• Transformations of logic programs
• Transformations of logic programs
• scientific article; zbMATH DE number 4037817
• Transition Logic Revisited
• Transformations of formulae of hybrid logic
• Logic-automata connections for transformations
• Remarks on Thatte's transformation of term rewriting systems
• Thorn-forking in continuous logic
• scientific article; zbMATH DE number 1534593

Cites work

• A course in game theory.
• A remark on Henkin sentences and their contraries
• Compositional semantics for a language of imperfect information
• Equivalence and quantifier rules for logic with imperfect information
• Games in dynamic-epistemic logic
• scientific article; zbMATH DE number 2051379 (Why is no real title available?)
• scientific article; zbMATH DE number 1361517 (Why is no real title available?)
• scientific article; zbMATH DE number 1894877 (Why is no real title available?)
• scientific article; zbMATH DE number 972408 (Why is no real title available?)
• scientific article; zbMATH DE number 3078991 (Why is no real title available?)
• Independent choices and the interpretation of IF logic
• Memory and perfect recall in extensive games
• On the interpretation of decision problems with imperfect recall
• On the semantics of informational independence
• On the strategic equivalence of extensive form games
• Partiality and games: Propositional logic
• Reexamination of the perfectness concept for equilibrium points in extensive games
• Signalling in IF games: a tricky business

Cited in

(1)

• A transformational characterization of if-then-else

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

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