CAPE上級論理学セミナー矢田部さんの2回の講義に続いて第3回と第4回を担当します。　

第3回のアウトライン
「様相論理とは何か」からはじめて代数意味論へ至る概念的道筋をたどる。歴史的な成り立ちについては適宜補う。

スライド（様相論理一般）
http://researchmap.jp/muoxrjhjg-1828235/#_1828235

時間が余れば代数意味論の準備をします。