Equivalence and quantifier rules for logic with imperfect information
暂无分享,去创建一个
[1] Wilfried Hodges,et al. Some Strange Quantifiers , 1997, Structures in Logic and Computer Science.
[2] J.F.A.K. van Benthem,et al. The Epistemic Logic of IF Games , 2003 .
[3] Wilfrid Hodges,et al. Compositional Semantics for a Language of Imperfect Information , 1997, Log. J. IGPL.
[4] Johan van Benthem,et al. Logic Games are Complete for Game Logics , 2003, Stud Logica.
[5] Jouko A. Väänänen,et al. On the semantics of informational independence , 2002, Log. J. IGPL.
[6] J. Hintikka. The Principles of Mathematics Revisited: Introduction , 1996 .
[7] W. Ackermann,et al. Grundzüge der theoretischen Logik , 1928 .
[8] H. Kuhn. Classics in Game Theory , 1997 .
[9] L. M.-T.. Grundzüge der theoretischen Logik , 1929, Nature.
[10] Francien Dechesne,et al. Game, set, maths : formal investigations into logic with imperfect information , 2005 .
[11] J. Hintikka,et al. Game-Theoretical Semantics , 1997 .
[12] Francien Dechesne,et al. Thompson Transformations for If-Logic , 2006, Synthese.
[13] Francien Dechesne,et al. Signalling in IF games: a tricky business , 2005 .
[14] Sven Ove Hansson,et al. The Age of Alternative Logics. Assessing Philosophy of Logic and Mathematics Today , 2008 .
[15] Theo M. V. Janssen,et al. Independent Choices and the Interpretation of IF Logic , 2002, J. Log. Lang. Inf..