CAPEセミナー・論理学上級シリーズ(全4回)


2012/10-11 CAPEセミナー・論理学上級シリーズ(全4回)

講師
矢田部俊介(産総研)第1回、第2回
村上祐子(東北大学)第3回、第4回

*概要:非古典論理の基礎知識と、講師の専門と関係する発展的な話題を紹介する
*部分構造論理とその上の理論の初歩について説明を行う(矢田部)
*様相論理と代数的意味論の初歩について説明を行う(村上)

日時・場所
10/30, 11/6, 11/20, 11/27 の4回
いずれも火曜日 16:30~18:00
京都大学文学研究科本館一階会議室にて
(8番の建物です)

スケジュール
第1回 10月30日(火)
部分構造論理とその階層(推件計算とハイパー推件計算)
第2回 11月6日(火)
部分構造論理上の理論(素朴集合論・真理理論)
第3回 11月20日 (火)
様相論理の体系とそのモデル(クリプキ意味論)
第4回 11月27日 (火)
様相論理の意味論(代数的意味論の初歩)