Thompson transformations for IF-logic
From MaRDI portal
Publication:2500828
DOI10.1007/s11229-005-3876-7zbMath1103.03026MaRDI QIDQ2500828
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
91A80: Applications of game theory
03B60: Other nonclassical logic
03B42: Logics of knowledge and belief (including belief change)
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