第39回MLG数理論理学研究集会プログラム                
12月5日    (月)            
12:00            受付開始    
12:45    --    12:50    事務連絡    
12:50    --    13:30    佐野勝彦    Predicate Bimodal Logics with Irreflexive Modality
13:30    --    14:10    松本利雅    Construction of reduced counter-models for S4
14:15    --    14:55    佐藤憲太郎    Stone Duality for the 4-valued Logic and Variants
14:55    --    15:25    <休憩><チェックイン>    
15:25    --    16:05    木原均    Halld\'{e}n completeness and principle of variable separation of commutative substructural logics
16:10    --    16:50    大芝　猛    Multi-modal logics におけるShannon type標準形展開基底の自然な拡張
                
12月6日    (火)            
9:00    --    9:25    佐々木克巳    GL-provability of ⊥-formulas in Grz
9:25    --    10:05    金子守・鈴木信行    TBA
10:10    --    10:50    照井一成    Towards a semantic characterization of cut-elimination
10:50    --    11:05    <休憩>    
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    <昼食>　3階広間    
13:15    --    13:55    小野　寛晰    Modalities in substructural logics --- a preliminary report
13:55    --    14:35    天野俊一    The finite embeddability of modal residuated lattices
14:40    --    15:20    田村晋照    Hybrid logic with orthodox rules
15:20    --    15:35    <休憩>    
15:35    --    16:05    岡本圭史    一階様相μ計算
16:10    --    16:50    志村 立矢    On a strong form of disjunction property
                
18:00    --        <懇親会>　3階広間    
                
12月7日    (水)            
9:20    --    10:00    矢田部俊介・稲岡大志    On Evans vague object
10:00    --    10:40    関　隆宏    Two topics on disjunctive rules in relevant modal logic
10:45    --    11:15    古森 雄一    古典論理の極小論理式による独立な公理系
11:15    --    11:30    <休憩>    
11:30    --    12:10    鹿島亮    中間命題論理の公理化に関する古森の問題
12:10    --    12:40    佐々木克巳    On an exact model for formulas with only one variable in S4