International Workshop on Topological Methods in Logic IV

June 23—27, 2014

Tbilisi, Georgia

SCHEDULE

Monday, 23 June
09^45 – 10^00	Opening
10^00 – 10^50	Jorge Picado	On the completion of pointfree function rings
11^00 – 11^50	Themba Dube	On maximal l-ideals of rings of continuous integer-valued functions
12^00 – 14^00	Lunch break
14^00 – 14^50	Tega Ighedo	Two functors induced by z-ideals and d-ideals of function rings
15^00 – 15^50	Patrick Morandi	Proximity biframes and compactifications of completely regular ordered spaces
16^00 – 16^30	Coffee break
16^30 – 17^20	Mamuka Jibladze	Frame completions of conditional frames
17^30 – 18^20	Sam van Gool	Duality for sheaf representations of distributive-lattice-ordered algebras
20^00 – 24^00	Reception
Tuesday, 24 June
10^00 – 10^50	Nick Bezhanishvili	Stable canonical rules
11^00 – 11^50	Silvio Ghilardi	Multiple-conclusion rules, hypersequents syntax and step frames
12^00 – 14^00	Lunch break
14^00 – 14^50	Valentin Shehtman	Squares of modal logics and relation algebras
15^00 – 15^50	Ilya Shapirovsky	Tensor products of logics containing S4
16^00 – 16^30	Coffee break
16^30 – 17^20	Stanislav Kikot	A dichotomy for some elementarily generated modal logics
17^30 – 18^20	Ramón Jansana	A topological duality for filter-distributive congruential logics
18^30 – 19^00	Discussion
Wednesday, 25 June
10^00 – 10^50	Joel Lucero-Bryan	Modal logics of metric spaces
11^00 – 11^50	Andrey Kudinov	Modal logic of products of neighborhood frames
12^00 – 14^00	Lunch break
14^00 – 14^50	Mai Gehrke	Some topological exercises around a Boolean algebra
15^00 – 15^50	Revaz Grigolia	Gödel spaces and perfect MV–algebras
16^00 – 16^30	Coffee break
16^30 – 17^20	Badri Dvalishvili	Bitopological spaces with a nodec component and the same class of homeomorphisms
17^30 – 18^20	Irakli Dochviri	On bitopological clopen sets
18^30 – 19^00	Discussion
Thursday, 26 June
10^00– 10^30	Sumit Sourabh	Duality and canonicity for Boolean algebra with a relation
10^40– 11^10	Aybüke Özgün	A new topological semantics for (dynamic) doxastic logic
11^20 – 11^50	Kristina Gogoladze	The modal logic of planar polygons
12^00 – 14^00	Lunch break
14^00 – 14^30	Julia Ilin	Cofinal stable logics
14^40 – 15^10	Jeroen Goudsmit	Axiomatising admissible rules
15^20 – 15^50	Coffee break
16^00 – 16^30	Phridon Alshibaia	On algebraic analysis of temporal Heyting calculus
16^40 – 17^10	Evgeny Kuznetsov	Local homeomorphisms and Esakia duality
17^30 – 24^00	Tour of Tbilisi and Banquet
Friday, 27 June
10^00 – 22^00	Excursion and Dinner