The 39th MLG Meeting Timetable
Monday, December 5th
12:00
Registration
12:45 -- 12:50
Opening
12:50 -- 13:30
Sano Katsuhiko Predicate Bimodal Logics with
Irreflexive Modality
13:30 -- 14:10
Matsumoto Toshimasa Construction of reduced
counter-models for S4
14:15 -- 14:55
Sato Kentaro Stone Duality for the 4-valued Logic and
Variants
14:55 -- 15:25
<Coffee><Check in>
15:25 -- 16:05
Kihara Hitoshi Halld\'{e}n completeness and principle
of variable separation of commutative substructural logics
16:10 -- 16:50
Oshiba Takeshi A natural extension of Shannon type
normal form expansin base of Multi-modal logics
Tuesday, December 6th
9:00 -- 9:25
Sasaki Katsumi GL-provability of ⊥-formulas in Grz
9:25 -- 10:05
Kaneko Mamoru, Suzuki Nobu-Yuki TBA
10:10 -- 10:50
Terui Kazushige Towards a semantic characterization
of cut-elimination
10:50 -- 11:05
<Coffee>
11:05 -- 11:45
Tadeusz Litak On the Gargov and Goranko translation
11:45 -- 12:15
Nikolaos Galatos Extensions of Glivenko's theorem to
non-commutative substructural logics
12:15 -- 13:15
<Lunch> Hall (3rd floor)
13:15 -- 13:55
Ono Hiroakira Modalities in substructural logics ---
a preliminary report
13:55 -- 14:35
Amano T. The finite embeddability of modal residuated
lattices
14:40 -- 15:20
Tamura Kuniaki Hybrid logic with orthodox rules
15:20 -- 15:35
<Coffee>
15:35 -- 16:05
Okamoto Keisi First-order Modal $\mu$-calculus
16:10 -- 16:50
Shimura Tatsuya On a strong form of disjunction
property
18:00 --
<Conference Dinner> Hall (3rd floor)
Wednesday, December 7th
9:20 -- 10:00
Yatabe Shunsuke, Inaoka Hiroyuki On Evans vague object
10:00 -- 10:40
Seki Takahiro Two topics on disjunctive rules in
relevant modal logic
10:45 -- 11:15
Komori Yuichi 古典論理の極小論理式による独立な公理系
11:15 -- 11:30
<Coffee>
11:30 -- 12:10
Kashima Ryo Komori's problems on axiomatization
of intermediate propositional logics
12:10 -- 12:40
Sasaki Katsumi On an exact model for formulas with
only one variable in S4