메뉴 건너뛰기




Volumn 19, Issue 1, 2002, Pages 7-62

Epistemic logics and their game theoretic applications: Introduction

Author keywords

Beliefs; Classical logic; Common knowledge logic; Decision criterion; Dominant strategy; Epistemic depth of a formula; Epistemic logic; Knowledge

Indexed keywords


EID: 0036001502     PISSN: 09382259     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001990100202     Document Type: Conference Paper
Times cited : (25)

References (38)
  • 1
    • 0001651885 scopus 로고
    • Agreeing to disagree
    • Aumann, R. J.: Agreeing to disagree. Annals of Statistics 4, 1236-1239 (1976)
    • (1976) Annals of Statistics , vol.4 , pp. 1236-1239
    • Aumann, R.J.1
  • 3
    • 0012994429 scopus 로고
    • Epistemic logic and the foundations of game theory
    • Bacharach, M., Mongin, P.: Epistemic logic and the foundations of game theory. Theory and Decision 37, 1-6 (1994)
    • (1994) Theory and Decision , vol.37 , pp. 1-6
    • Bacharach, M.1    Mongin, P.2
  • 6
    • 0004043780 scopus 로고
    • Cambridge: Cambridge University Press
    • Chellas, B.: Modal logic. Cambridge: Cambridge University Press 1980
    • (1980) Modal Logic
    • Chellas, B.1
  • 8
    • 0026853865 scopus 로고
    • A guide to completeness and complexity for modal logics of knowledge and beliefs
    • Halpern, J. H., Moses, Y.: A guide to completeness and complexity for modal logics of knowledge and beliefs. Artificial Intelligence 54, 319-379 (1992)
    • (1992) Artificial Intelligence , vol.54 , pp. 319-379
    • Halpern, J.H.1    Moses, Y.2
  • 9
    • 0012991142 scopus 로고    scopus 로고
    • Iterative and fixed point common belief
    • Heifetz, A.: Iterative and fixed point common belief. Journal of Philosophical Logic 28, 61-79 (1999)
    • (1999) Journal of Philosophical Logic , vol.28 , pp. 61-79
    • Heifetz, A.1
  • 11
    • 27944496797 scopus 로고
    • Untersuchungen über das logische schliessen
    • English translation: Investigations into logical deduction. In: Szabo, M. E. (ed.)The Collected Papers of Gerhard Gentzen. Amsterdam: North-Holland 1969
    • Gentzen, G.: Untersuchungen über das logische Schliessen. Mathematische Zeitschrift 39, 176-210, 405-431 (1935). English translation: Investigations into logical deduction. In: Szabo, M. E. (ed.)The Collected Papers of Gerhard Gentzen. Amsterdam: North-Holland 1969
    • (1935) Mathematische Zeitschrift , vol.39 , pp. 176-210
    • Gentzen, G.1
  • 13
    • 0012946016 scopus 로고    scopus 로고
    • Epistemic considerations of decision making in games
    • Kaneko, M.: Epistemic considerations of decision making in games. Mathematical Social Sciences 38, 105-137 (1999)
    • (1999) Mathematical Social Sciences , vol.38 , pp. 105-137
    • Kaneko, M.1
  • 14
    • 0033464198 scopus 로고    scopus 로고
    • Common knowledge logic and game logic
    • Kaneko, M.: Common knowledge logic and game logic. Journal of Symbolic Logic 64, 685-700 (1999)
    • (1999) Journal of Symbolic Logic , vol.64 , pp. 685-700
    • Kaneko, M.1
  • 15
    • 0000906559 scopus 로고    scopus 로고
    • Inductive game theory: Discrimination and prejudices
    • Kaneko, M., Matsui, A.: Inductive game theory: discrimination and prejudices. Journal of Public Economic Theory 1, 101-137 (1999)
    • (1999) Journal of Public Economic Theory , vol.1 , pp. 101-137
    • Kaneko, M.1    Matsui, A.2
  • 16
    • 0001621569 scopus 로고    scopus 로고
    • Game logic and its applications
    • Kaneko, M., Nagashima, T.: Game logic and its applications. Part I: Studia Logica 57, 325-354 (1996). Part II: Studia Logica 58, 273-303 (1997)
    • (1996) Part I: Studia Logica , vol.57 , pp. 325-354
    • Kaneko, M.1    Nagashima, T.2
  • 17
    • 0013035644 scopus 로고    scopus 로고
    • Kaneko, M., Nagashima, T.: Game logic and its applications. Part I: Studia Logica 57, 325-354 (1996). Part II: Studia Logica 58, 273-303 (1997)
    • (1997) Part II: Studia Logica , vol.58 , pp. 273-303
  • 18
    • 0002032642 scopus 로고    scopus 로고
    • Axiomatic indefinability of common knowledge in finitary logics
    • Bacharach, M. et al. (eds.). Boston: Kluwer
    • Kaneko, M., Nagashima, T.: Axiomatic indefinability of common knowledge in finitary logics. In: Bacharach, M. et al. (eds.) Epistemic logic and the theory of games and decision, pp. 69-93. Boston: Kluwer 1997
    • (1997) Epistemic Logic and the Theory of Games and Decision , pp. 69-93
    • Kaneko, M.1    Nagashima, T.2
  • 20
    • 0036001501 scopus 로고    scopus 로고
    • Bounded interpersonal inferences and decision making
    • (this issue)
    • Kaneko, M., Suzuki, N.-Y.: Bounded interpersonal inferences and decision making. Economic Theory (this issue)
    • Economic Theory
    • Kaneko, M.1    Suzuki, N.-Y.2
  • 23
    • 0002802134 scopus 로고
    • On the logic of common belief and common Knowledge
    • Lismont, L. Mongin, P.: On the logic of common belief and common Knowledge. Theory and Decision 37, 75-106 (1994)
    • (1994) Theory and Decision , vol.37 , pp. 75-106
    • Lismont, L.1    Mongin, P.2
  • 24
    • 0012992726 scopus 로고    scopus 로고
    • On the logic of common belief and common knowledge
    • Bacharach, M. et al. (eds.). Boston: Kluwer
    • Limont, L., Mongin, P.: On the logic of common belief and common knowledge. In: Bacharach, M. et al. (eds.) Epistemic logic and the theory of games and decision, pp. 3-34. Boston: Kluwer 1997
    • (1997) Epistemic Logic and the Theory of Games and Decision , pp. 3-34
    • Limont, L.1    Mongin, P.2
  • 30
    • 0004255907 scopus 로고
    • Cambridge: Harvard University Press
    • Myerson, R. B.: Game theory. Cambridge: Harvard University Press 1991
    • (1991) Game Theory
    • Myerson, R.B.1
  • 32
    • 0001730497 scopus 로고
    • Noncooperative game
    • Nash, J. F.: Noncooperative game. Annals of Mathematics 54, 286-295 (1951)
    • (1951) Annals of Mathematics , vol.54 , pp. 286-295
    • Nash, J.F.1
  • 34
    • 0036001523 scopus 로고    scopus 로고
    • Minimal belief change, Pareto-optimality and logical consequence
    • (this issue)
    • Schulte O.: Minimal belief change, Pareto-optimality and logical consequence. Economic Theory (this issue)
    • Economic Theory
    • Schulte, O.1
  • 35
    • 0003826898 scopus 로고
    • Amsterdam: North-Holland
    • Takeuti, G.: Proof theory. Amsterdam: North-Holland 1987
    • (1987) Proof Theory
    • Takeuti, G.1
  • 37
    • 0001411995 scopus 로고    scopus 로고
    • First order common knowledge Logics
    • Wolter, F.: First order common knowledge Logics. Studia Logica 65, 249-271 (2000)
    • (2000) Studia Logica , vol.65 , pp. 249-271
    • Wolter, F.1
  • 38
    • 0001267326 scopus 로고
    • Intuitionistic logic
    • Gabbay, D., Guenthner, F. (eds.). Amsterdam: Reidel
    • van Dalen, D.: Intuitionistic logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of philosophical logic, Vol. III. Amsterdam: Reidel 1986
    • (1986) Handbook of Philosophical Logic , vol.3
    • Van Dalen, D.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.