| 11月7日 |
|
午後 |
|
| 15:00 |
-- |
15:10 |
|
事務連絡 |
|
|
| 15:10 |
-- |
15:50 |
|
佐藤雅彦 （京都大学） |
|
|
|
|
External and Internal Syntax of the Lambda Calculus |
|
|
| 15:50 |
-- |
16:30 |
|
千谷慧子 （中部大学） |
|
|
|
|
Logic of Quantum System |
|
|
| 16:30 |
-- |
17:10 |
|
吉田聡 （産業総合研究所） |
|
|
|
|
モデル検査と図示記法 |
|
| 11月8日 |
|
午前 |
|
| 9:30 |
-- |
10:10 |
|
田中義人 （九州産業大学） |
|
|
|
|
Extensions of Canonical Formulas for Heyting Algebras and Intuitionistic Frames |
|
|
| 10:10 |
-- |
10:50 |
|
関隆宏 （新潟大学） |
|
|
|
|
A Note on Disjunction Property of Some Substructural Logics |
|
|
| 10:50 |
-- |
11:30 |
|
木原均 （金沢工業高等専門学校） |
|
|
|
|
Relationship between the Equivalential SDIP and the Implicational SDIP for Logics over FLw |
|
| 11月8日 |
|
午後 |
|
| 13:00 |
-- |
13:40 |
|
佐野勝彦 （京都大学） |
|
|
|
|
Taking Products in Hybrid Logic |
|
|
| 13:40 |
-- |
14:20 |
|
金子守 （筑波大学） |
|
|
|
|
Contentwise Complexity: An Evaluation of Arrow's Impossibility Theorem |
|
|
| 14:20 |
-- |
15:00 |
|
鈴木信行 （静岡大学） |
|
|
|
|
ある直観主義的認識論理とそのKripke型意味論 |
|
|
| 18:00 |
-- |
20:00 |
|
懇親会 （海幸） 5000円 |
|
| 11月9日 |
|
午前 |
|
| 9:30 |
-- |
10:10 |
|
大森仁 （東京工業大学） |
|
|
|
|
古典命題論理と様相論理S5とのある関係について |
|
|
| 10:10 |
-- |
10:50 |
|
志村立矢 （日本大学） |
|
|
|
|
様相論理K4DLZの周辺．Cut 除去，interpolation |
|
|
| 10:50 |
-- |
11:00 |
|
閉会 |
|