메뉴 건너뛰기
Annals of Pure and Applied Logic
Volumn 133, Issue 1-3 SPEC. ISS., 2005, Pages 73-99
About cut elimination for logics of common knowledge
Author keywords

[No Author keywords available]
Indexed keywords

EID: 14644438633     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.apal.2004.10.004     Document Type: Article
Times cited : (34)
References (13)
  • 1
    • 14644410876 scopus 로고    scopus 로고
    • About cut elimination for logics of common knowledge
    • (in preparation)
    • Luca Alberucci, About cut elimination for logics of common knowledge, part II (in preparation)
    • , Issue.PART II
    • Luca, A.1
  • 2
    • 14644437542 scopus 로고    scopus 로고
    • The Modal μ-Calculus and the Logic of Common Knowledge
    • Ph.D. Thesis, Institut für Informatik und angewandte Mathematik, Universität Bern
    • Luca Alberucci, The Modal μ-Calculus and the Logic of Common Knowledge, Ph.D. Thesis, Institut für Informatik und angewandte Mathematik, Universität Bern, 2002
    • (2002)
    • Luca, A.1
  • 4
    • 0004015944 scopus 로고
    • The Situation in Logic
    • Stanford
    • K. Jon Barwise The Situation in Logic CSLI Lecture Notes vol. 17 1989 Stanford
    • (1989) CSLI Lecture Notes , vol.17
    • Jon Barwise, K.1
  • 7
    • 14644390725 scopus 로고    scopus 로고
    • Darstellung der Kripke-Strukturen in der Situation Semantics
    • Master's Thesis, Institut für Informatik und angewandte Mathematik, Universität Bern
    • Michael Graf, Darstellung der Kripke-Strukturen in der Situation Semantics, Master's Thesis, Institut für Informatik und angewandte Mathematik, Universität Bern, 2000
    • (2000)
    • Graf, M.1
  • 8
    • 0025460546 scopus 로고
    • Knowledge and common knowledge in a distributed environment
    • Joseph Y. Halpern Yoram Moses Knowledge and common knowledge in a distributed environment Journal of the ACM 37 3 1990 549-587
    • (1990) Journal of the ACM , vol.37 , Issue.3 , pp. 549-587
    • Halpern, J.Y.1    Moses, Y.2
  • 9
    • 0033464198 scopus 로고    scopus 로고
    • Common knowledge and game logic
    • Mamoru Kaneko Common knowledge and game logic Journal of Symbolic Logic 64 2 1999 685-700
    • (1999) Journal of Symbolic Logic , vol.64 , Issue.2 , pp. 685-700
    • Kaneko, M.1
  • 10
    • 0013035644 scopus 로고    scopus 로고
    • Game logic and its applications II
    • Mamoru Kaneko Takashi Nagashima Game logic and its applications II Studia Logica 58 1997 273-303
    • (1997) Studia Logica , vol.58 , pp. 273-303
    • Kaneko, M.1    Nagashima, T.2
  • 11
    • 14644423732 scopus 로고
    • Common knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics
    • Luc Lismont Common knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics Journal of Logic, Language, and Information 3 3 1995 285-302
    • (1995) Journal of Logic, Language, and Information , vol.3 , Issue.3 , pp. 285-302
    • Lismont, L.1

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