Epistemic Logic and the Theory of Games and Decisions

Introduction M.O.L. Bacharach, et al. Part I: Iterated Knowledge and Common Knowledge. 1. On the Logic of Common Belief and Common Knowledge L. Lismont, P. Mongin. 2. A Complete Epistemic Logic for Multiple Agents W. van der Hoek, J.J. Meyer. 3. Axiomatic Indefinability of Common Knowledge in Finitary Logics M. Kaneko, T. Nagashima. 4. Eliminating Redundancies in Partition Spaces A. Heifetz. Part II: The Logical Omniscience Problem. 5. From Logical Omniscience to Partial Logical Competence R. Lavendhomme, T. Lucas. 6. Knowledge and Belief Representation in a Partial Model E. Thijsse. 7. Awareness and Partitional Informational Structures S. Modica, A. Rustichini. 8. Representing the Knowledge of Turing Machines H.S. Shin, T. Williamson. Part III: Applications to Game Theory and Decision Theory. 9. Logics for Nonomniscient Agents: An Axiomatic Approach B. Lipman. 10. Alternative Definition of Knowledge S. Morris. 11. Synchronic Information, Knowledge and Common Knowledge in Extensive Games G. Bonanno, P. Battigali. 12. Analyzing Games by Sequences of Metatheories A. Vilks. 13. Rationally Justifiable Play and the Theory of Noncooperative Games R. Cubitt, R. Sugden. 14. The Epistemic Structure of a Theory of a Game M.O.L. Bacharach. 15. On the Evaluation of Solution Concepts R. Stalnaker.

[1]  Ronald Fagin,et al.  A model-theoretic analysis of knowledge , 1991, JACM.

[2]  Ronald Fagin,et al.  Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..

[3]  Nicholas Rescher,et al.  The logic of inconsistency , 1979 .

[4]  R. Rosenthal.  Games of perfect information, predatory pricing and the chain-store paradox , 1981 .

[5]  George Boolos,et al.  Computability and logic , 1974 .

[6]  Mamoru Kaneko,et al.  Final decisions, the Nash equilibrium and solvability in games with common knowledge of logical abilities , 1991 .

[7]  R. Aumann.  Agreeing to disagree. , 1976, Nature cell biology.

[8]  W. van der Hoek,et al.  Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.

[9]  Elchanan Ben-Porath,et al.  Rationality, Nash Equilibrium and Backwards Induction in Perfect-Information Games , 1997 .

[10]  P. Mongin.  Some connections between epistemic logic and the theory of nonadditive probability , 1994 .

[11]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[12]  Joseph Y. Halpern,et al.  A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..

[13]  J. Hintikka.  Knowledge and belief , 1962 .

[14]  K. Jon Barwise,et al.  The situation in logic , 1989, CSLI lecture notes series.

[15]  Robert Stalnaker.  Knowledge, Belief and Counterfactual Reasoning in Games , 1996, Economics and Philosophy.

[16]  Sérgio Ribeiro da Costa Werlang,et al.  Nash equilibrium under knightian uncertainty: breaking down backward induction (extensively revised version) , 1993 .

[17]  D. Schmeidler.  Subjective Probability and Expected Utility without Additivity , 1989 .

[18]  D. Monderer,et al.  Approximating common knowledge with common beliefs , 1989 .

[19]  Sujoy Mukerji,et al.  Understanding the nonadditive probability decision model , 1997 .

[20]  Hyun Song Shin,et al.  Logical Structure of Common Knowledge , 1993 .

[21]  D. Samet.  Ignoring ignorance and agreeing to disagree , 1990 .

[22]  Luc Lismont.  Common knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics , 1994, J. Log. Lang. Inf..

[23]  Giacomo Bonanno.  On the Logic of Common Belief , 1996, Math. Log. Q..

[24]  R. Selten.  Reexamination of the perfectness concept for equilibrium points in extensive games , 1975, Classics in Game Theory.

[25]  Krister Segerberg,et al.  A model existence theorem in infinitary propositional modal logic , 1994, J. Philos. Log..

[26]  David Lewis.  Convention: A Philosophical Study , 1986 .

[27]  H. Simon,et al.  Models of Man. , 1957 .

[28]  Aviad Heifetz.  Infinitary S5-Epistemic Logic , 1997, Math. Log. Q..

[29]  Peter Aczel,et al.  Non-well-founded sets , 1988, CSLI lecture notes series.