Map of Common Knowledge Logics
[M. Kaneko, T. Nagashima, N.-Y. Suzuki and Y. Tanaka]
(Preliminary Discussion Paper, January 30, 2001. 32pages.)
KNST05.pdf
337,284Bytes pdf, uncompressed.
KNST05.lzh
182,538Bytes pdf, Lha compressed.
KNST05.zip
178,678Bytes pdf, zip compressed.
Published in Studia Logica vol.71 (2002), pp.57--86.
A New System of Common Knowledge Predicate Logic
[T. Nagashima and Y. Tanaka]
A dvi file is available at
MLG33 Proceedings.
4 pages. Talk at MLG33 meeting (January 10--13, 2000) held in Yuzawa,
Niigata-ken, JAPAN.
