2012/10-11 CAPEセミナー・論理学上級シリーズ（全４回）
講師
矢田部俊介（産総研）第１回、第２回
村上祐子（東北大学）第３回、第４回
＊概要：非古典論理の基礎知識と、講師の専門と関係する発展的な話題を紹介する
＊部分構造論理とその上の理論の初歩について説明を行う（矢田部）
＊様相論理と代数的意味論の初歩について説明を行う（村上）
日時・場所
10/30, 11/6, 11/20, 11/27 の4回
いずれも火曜日 16:30~18:00
京都大学文学研究科本館一階会議室にて
（8番の建物です）
スケジュール
第１回 10月30日（火）
部分構造論理とその階層（推件計算とハイパー推件計算）
第２回 11月６日（火）
部分構造論理上の理論（素朴集合論・真理理論）
第３回 11月20日 (火）
様相論理の体系とそのモデル（クリプキ意味論）
第４回 11月27日 (火）
様相論理の意味論（代数的意味論の初歩）