閲覧したりダウンロードしたりできるように資料を提供します.
このページの更新が遅れましてすみません.
ウィルスについて.
ここでご提供するファイルはNorton AntiVirusで検査し
ウィルス汚染のないように十分注意していますけれども,
ウィルスのないことをいっさい保証は致しません.
万一ウィルスによる被害などが生じましても, 責任は負いかねます.
著作権について.
ここでご提供するファイルにはそれぞれの著作者の著作権があります.
ダウンロードの目的は個人的利用に限定いたします.
著作権者の許可なく販売したり, 出版したり, 他のサイトへ転載したり,
個人的利用以外の目的で複写したりすることはお断りいたします.
Map of Common Knowledge Logics
[M. Kaneko, T. Nagashima, N.-Y. Suzuki and Y. Tanaka]
(Preliminary Discussion Paper, 2001年 1月30日. 32ページ.)
KNST05.pdf 337,284Bytes pdf, 非圧縮
KNST05.lzh 182,538Bytes pdf, Lha圧縮
KNST05.zip 178,678Bytes pdf, zip圧縮
Studia Logica vol.71 (2002年), pp.57--86 に掲載されました.
共有知識の論理 [永島 孝]
r000329a.dvi 18,332Bytes dvi, 非圧縮
2000年3月29日, 日本数学会2000年度年会
数学基礎論および歴史分科会で発表したものに,
追記として2000年4月20日書き加えたものです. 3ページ.
A New System of Common Knowledge Predicate Logic
[T. Nagashima and Y. Tanaka]
dviファイルは
MLG33報告集から
得られます.
2000年1月10日〜1月13日, MLG33研究集会で発表したときの
配付資料を改訂し, 報告集に掲載されたものです. 4ページ.
共有知識の論理について [永島 孝]
r990906.dvi
39,196Bytes dvi, 非圧縮
1999年8月30日〜9月1日, 数理解析研究所における短期共同研究
「認識論理とゲーム理論」で発表したときの配付資料を改訂したものです.
7ページ.
東京女子大学の授業の教材は削除しました.
