Game logic and its applications I

[1]  Eyal Winter,et al.  A Necessary and Sufficient Epistemic Condition for Playing Backward Induction , 1997 .

[2]  金子 守.  Mere and specific knowledge of the existence of a Nash Equilibrium , 1997 .

[3]  M. Kaneko,et al.  Axiomatic Indefinability of Common Knowledge in Finitary Logics , 1997 .

[4]  R. Aumann.  Backward induction and common knowledge of rationality , 1995 .

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

[6]  M. Bacharach.  The epistemic structure of a theory of a game , 1994 .

[7]  Philippe Mongin,et al.  On the logic of common belief and common knowledge , 1994 .

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

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

[10]  Michael Bacharach,et al.  A theory of rational decision in games , 1987 .

[11]  V. Bubelis,et al.  On equilibria in finite games , 1979 .

[12]  Elliott Mendelson,et al.  Introduction to Mathematical Logic , 1979 .

[13]  H. Keisler.  Model theory for infinitary logic , 1971 .

[14]  Takeshi Hirai,et al.  3 A necessary and sufficient condition , 1970 .

[15]  C. E. Lemke,et al.  Equilibrium Points of Bimatrix Games , 1964 .

[16]  Ronald Harrop,et al.  Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems , 1960, Journal of Symbolic Logic.

[17]  Steven Vajda,et al.  Games and Decisions. By R. Duncan Luce and Howard Raiffa. Pp. xi, 509. 70s. 1957. (J Wiley & Sons) , 1959, The Mathematical Gazette.

[18]  Kazuo Matsumoto,et al.  Gentzen method in modal calculi. II , 1957 .

[19]  R. Harrop,et al.  On disjunctions and existential statements in intuitionistic systems of logic , 1956 .

[20]  J. Armstrong.  Knowledge and Belief , 1953 .

[21]  J. Milnor,et al.  AN AXIOMATIC APPROACH TO MEASURABLE UTILITY , 1953 .

[22]  J. Neumann.  A Model of General Economic Equilibrium , 1945 .

[23]  J. Neumann,et al.  Theory of games and economic behavior , 1945, 100 Years of Math Milestones.

[24]  O. Helmer.  Languages with expressions of infinite length , 1937, Erkenntnis.

[25]  G. Gentzen.  Untersuchungen über das logische Schließen. I , 1935 .

[26]  J. Neumann.  Zur Theorie der Gesellschaftsspiele , 1928 .