No.1010
非古典論理とKripke意味論の新局面
New Aspects in Non-Classical Logics and Their Kripke Semantics
短期共同研究報告集
1997/03/04〜1997/03/06
鈴木 信行
Nobu-Yuki Suzuki
目 次
JAIST Bezhanishvili, Guram
Kyushu Institute of Technology, Department of Artificial Intelligence 藤田 憲悦 (Fujita,Ken-etsu)
北陸先端科学技術大学院大学情報科学研究科 / 北陸先端科学技術大学院大学情報科学研究科 鹿島 亮 / 上出 哲広 (Kashima,Ryo / Kamide,Norihiro)
University of Lodz, Department of Logic LUKOWSKI,Piotr
南山大学経営学部 佐々木 克己 (SASAKI,Katsumi)
日本大学理工学部 志村 立矢 (SHIMURA,Tatsuya)
Department of Mathematics, Keio University, Hiyoshi Campus 白旗 優 (Shirahata,Masaru)
静岡大学理学部 白井 古希男 (Shirai,Kokio)
Department of Computer and Information Sciences, Faculty of Engineering, Ibaraki University 鈴木 信行 (SUZUKI,Nobu-Yuki)
JAIST / JAIST / JAIST 鈴木 康人 / / (Suzuki,Yasuhito / Wolter,Frank / Zakharyaschev, Michael)
Graduate School of Economics, Hitotsubashi University TASHIRO,Hidetoshi
CHUBU UNIVERSITY 千谷 慧子 (TITANI,SATOKO)