International Workshop on
Topological Methods in Logic VI
July 2 6, 2018
Tbilisi, Georgia
SCHEDULE
Monday, July 2 



09^{45} 10^{00} 
Opening 

10^{00} 10^{50} 

10^{55} 11^{45} 

12^{00} 14^{00} 
Lunch break 

14^{00} 14^{50} 

14^{55} 15^{45} 

15^{45} 16^{15} 
Coffee break 

16^{15} 17^{05} 

17^{10} 18^{00} 

18^{05} ∞ 
Reception 






Tuesday,
July 3 



10^{00} 10^{50} 

10^{55} 11^{45} 

11^{50} 14^{00} 
Lunch break 

14^{00} 14^{50} 

14^{55} 15^{45} 
Topological completeness of modal logics for spaces
constructed from trees 

15^{45} 16^{15} 
Coffee break 

16^{15} 17^{05} 
Modal
logic with difference modality of topological T_{0}spaces 

17^{10} 18^{00} 







Wednesday, July 4 




10^{00} 10^{50} 
Neighbourhood
and topological completeness for quantified pretransitive
modal logics 

10^{55} 11^{45} 

11^{50} 14^{00} 
Lunch break 

14^{00} 14^{50} 

14^{55} 15^{45} 
The onevariable fragment of a nonlocally tabular
modal logic can be finite 

15^{45} 16^{15} 
Coffee break 

16^{15} 17^{05} 

17^{10} 18^{00} 










Thursday, July 5 




10^{00} 10^{50} 

10^{55} 11^{45} 
Completions
of Heyting algebras and birelational semantics for
IPC 

11^{50} 14^{00} 
Lunch break 

14^{00} 14^{50} 

14^{55} 15^{45} 
Uniform
interpolation via an open mapping theorem for Esakia
spaces 

15^{45} 16^{15} 
Coffee break 

16^{15} 17^{05} 
Some
open problems on intermediate logics determined by classes of polyhedra 

17^{10} 18^{00} 

18^{15} ∞ 
Conference dinner 







Friday,
July 6 




10^{00}

Excursion 