2004 MLG Meeting Timetable
Sunday, October 24th
12:00 12:55 Registration
12:55 -- 13:00 Opening
13:00 -- 13:40 Matsumoto Toshimasa Construction of Counter-models for
the Modal Logic K4B
13:40 -- 14:20 Terui Kazushige On two intuitionistic logics: an
informal discussion
14:20 -- 15:00 Yoshinaka Ryo An Abstract Categorial Grammar Generates
an NP-Complete Language
<Coffee>
15:15 -- 15:55 Yoshida Satoru The Banach-Stainhaus theorem for
(LF)-spacesin constructive analysis
15:55 -- 16:35 Takahashi Masako ゲーデルの general recursive function について
Monday, October 25th
9:05 -- 9:35 Kyuma Eido NP問題と構成的数学
9:35 -- 10:05 Takamura H. Amalgamation property of commutative
residuated lattices
10:05 -- 10:45 Seki Takahiro The gamma-admissibility for relevant modal
logics with Lemmon-Scott axioms
<Coffee>
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 <Lunch> Hall (3rd floor)
13:20 -- 13:50 Souma D. An algebraic approach to disjunction property
of substructural logics
13:50 -- 14:30 Kihara H. Hallden Completeness of Substructural Logics
14:30 -- 15:10 Ono Hiroakira Glivenko properties of substructural logics
<Coffee>
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 -- <Conference Dinner> Hall (3rd floor)
Tuesday, October 26th
9:10 -- 9:50 Ishigaki Ryo Gentzen-Style Sequent Calculi for Strict
Implication
9:50 -- 10:20 Sasaki Katsumi Conjunctive normal forms in S4 and S4Grz
10:20 -- 11:10 Kaneko Mamoru, Suzuki Nobu-Yuki The Contenplexity
Measure of Inferences in Epistemic Logics of Shallow Depths and
Decisions Making in Games
<Coffee>
11:25 -- 12:05 Sano Katsuhiko Bimodal logics with irreflexive modality
12:05 -- 12:35 Kashima Ryo Completeness via tree-sequent calculi for
bimodal logics with irreflexive modality
------
sasaki@ms.nanzan-u.ac.jp
2004.10.20