時間論理のタブロー法
Introduction to Hypersequent Calculus
Imamurさん発表「Introduction to Hyperseqeunt Calculus」
代表講演「論理学友の会の今後〜論計舎のサテライト事業としての論理学友の会〜」
様相論理のタブロー法
松本さん発表資料
川井発表資料
特別セミナー「シークエント計算とカット消去」発表資料