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	Mai Gehrke	Bands, Skew Lattices, and Sheaves
10^55 – 11^45	Tomáš Jakl	Free constructions and quotients of d-frames
12^00 – 14^00	Lunch break
14^00 – 14^50	Almudena Colacito	The topological space of pre-orders on abelian groups
14^55 – 15^45	Revaz Grigolia	On the variety of LPG-algebras
15^45 – 16^15	Coffee break
16^15 – 17^05	Luca Spada	Kakutani duality for groups
17^10 – 18^00	Serafina Lapenta	Infinitary logic and basically disconnected spaces
18^05 – ∞	Reception
Tuesday, July 3
10^00 – 10^50	Luca Reggio	Pretoposes and topological representations
10^55 – 11^45	Nick Bezhanishvili	A logical calculus for compact Hausdorff spaces
11^50 – 14^00	Lunch break
14^00 – 14^50	Wesley Holliday	Choice-free Stone duality
14^55 – 15^45	Joel Lucero-Bryan	Topological completeness of modal logics for spaces constructed from trees
15^45 – 16^15	Coffee break
16^15 – 17^05	Rajab Aghamov	Modal logic with difference modality of topological T0-spaces
17^10 – 18^00	Lev Beklemishev	Reflection calculus and conservativity spectra
Wednesday, July 4
10^00 – 10^50	Andrey Kudinov	Neighbourhood and topological completeness for quantified pretransitive modal logics
10^55 – 11^45	Valentin Shehtman	On simplicial semantics of modal predicate logics
11^50 – 14^00	Lunch break
14^00 – 14^50	Tadeusz Litak	One Modal Logic to Rule Them All?
14^55 – 15^45	Ilya Shapirovsky	The one-variable fragment of a non-locally tabular modal logic can be finite
15^45 – 16^15	Coffee break
16^15 – 17^05	Luck Darnière	Model completions of co-Heyting algebras
17^10 – 18^00	Frederik Lauridsen	MacNeille transferability of finite lattices
Thursday, July 5
10^00 – 10^50	Wesley Holliday	A Semantic Hierarchy for Intuitionistic Logic
10^55 – 11^45	Guillaume Massas	Completions of Heyting algebras and bi-relational semantics for IPC
11^50 – 14^00	Lunch break
14^00 – 14^50	Silvio Ghilardi	Duality and Bounded Bisimulations: old and new applications
14^55 – 15^45	Sam van Gool	Uniform interpolation via an open mapping theorem for Esakia spaces
15^45 – 16^15	Coffee break
16^15 – 17^05	Vincenzo Marra	Some open problems on intermediate logics determined by classes of polyhedra
17^10 – 18^00	David Gabelaia	Modal logics of polytopes – what we know so far
18^15 – ∞	Conference dinner
Friday, July 6
10^00 –	Excursion