非古典論理とそのKripke意味論に関する諸問題

研究集会名

非古典論理とそのKripke意味論に関する諸問題

日時

7/18 - 7/20

会場

京都大学数理解析研究所(115号室を予定)

プログラム・予稿集

プログラムはここにあります.

問合せ先

鈴木信行(Nobu-Yuki SUZUKI)

nobuyuki@cis.ibaraki.ac.jp