13:00--13:40 松本利雅 Construction of
Counter-models for the Modal Logic K4B
13:40--14:20 照井 一成 On two intuitionistic
logics: an informal discussion
On
two intuitionistic logics: an informal discussion
On
two intuitionistic logics: an informal discussion
14:20--15:00 吉仲 亮
Implicational Linear Logic is NP-Complete
<休憩>
15:15--15:55 吉田 聡
構成的解析学における(LF)-空間に関するBanach-Steinhausの定理
15:55--16:35 高橋 正子 ゲーデルの general
recursive function について
10月25日（月)
9:05-- 9:35 久馬栄道
NP問題と構成的数学
9:35--10:05 高村 博紀
Amalgamation property of commutative residuated lattices
10:05--10:45 関 隆宏 The
gamma-admissibility for relevant modal logics with Lemmon-Scott
axioms
<休憩>
11:00--11:40 Agnes Kurucz
Products of `transitive' modal logics
11:40--12:20 Michael Zakharyaschev
On product logics with expanding domains
12:20--13:20 <昼食>
13:20--13:50 相馬 大輔 An algebraic
approach to disjunction property of substructural logics
13:50--14:30 木原 均
Hallden Completeness of Substructural Logics
14:30--15:10 小野 寛晰 Glivenko
properties of substructural logics
<休憩>
15:25--16:05 Tadeusz Litak All
finitely axiomatizable tense logics of linear time flows are
coNP-complete(a result with Frank Wolter)
16:05--16:45 Felix Bou Strict
implication logics correspond to removing symmetry from bisimilarity
18:00-- <懇親会>
10月26日(火)
9:10-- 9:50 石垣 良
Gentzen-Style Sequent Calculi for Strict Implication
9:50--10:20 佐々木克巳
Conjunctive normal forms in S4 and S4Grz
10:20--11:10 金子守・鈴木信行The Contenplexity Measure of
Inferences in Epistemic Logics of Shallow Depths and Decisions Making
in Games
<休憩>
11:25--12:05 佐野勝彦 Bimodal logics
with irreflexive modality
12:05--12:35 鹿島 亮
Completeness via tree-sequent calculi for bimodal
logics with irreflexive modality
------
sasaki@ms.nanzan-u.ac.jp
2004.10.13