お知らせ：CAPEセミナー・論理学上級シリーズ（全４回）

講師

• 矢田部俊介（産総研）第１回、第２回
• 村上祐子（東北大学）第３回、第４回

概要：

非古典論理の基礎知識と、講師の専門と関係する発展的な話題を紹介する

• 部分構造論理とその上の理論の初歩について説明を行う　（矢田部）
• 様相論理と代数的意味論の初歩について説明を行う（村上）

日時・場所

10/30, 11/6, 11/20, 11/27 の4回、いずれも火曜日　16:30~18:00　
京都大学文学研究科本館一階会議室にて

スケジュール

• 第１回　10月30日（火）部分構造論理とその階層（推件計算とハイパー推件計算）
• 第２回　11月６日（火）部分構造論理上の理論（素朴集合論・真理理論）
• 第３回　11月20日 (火）様相論理の体系とそのモデル（クリプキ意味論）
• 第４回　11月27日 (火）様相論理の意味論（代数的意味論の初歩）