(The wonderful ToLogo courtesy Marcel Erné)

International Workshop on Topological Methods in Logic IV

June 23—27, 2014

Tbilisi, Georgia

This is the fourth in a series of workshops dedicated to the study of topological methods in logic. The homepages of the first three workshops are available at

http://www.rmi.ge/tolo

http://www.rmi.ge/tolo2

http://www.rmi.ge/tolo3

Aims and scope:

The main purpose of the series of workshops is to gather together researchers who use topological methods in the study of logic.

Topics of the workshop:

Point-Free Topology

Topology and Modal Logic

Duality Theory

Schedule of the workshop:

Schedule

Workshop speakers:

Phridon Alshibaia	Javakhishvili Tbilisi State University	On algebraic analysis of temporal Heyting calculus
Nick Bezhanishvili	ILLC, Universiteit van Amsterdam	Stable canonical rules
Irakli Dochviri	Caucasus International University	On bitopological clopen sets
Themba Dube	University of South Africa	On maximal l-ideals of rings of continuous integer-valued functions
Badri Dvalishvili	Javakhishvili Tbilisi State University	Bitopological spaces with a nodec component and the same class of homeomorphisms
Mai Gehrke	Université Paris Diderot - Paris 7	Some topological exercises around a Boolean algebra
Silvio Ghilardi	Università degli Studi di Milano	Multiple-conclusion rules, hypersequents syntax and step frames
Kristina Gogoladze	Javakhishvili Tbilisi State University	The modal logic of planar polygons
Sam van Gool	Université Paris Diderot / University of Bern	Duality for sheaf representations of distributive-lattice-ordered algebras
Jeroen Goudsmit	Universiteit Utrecht	Axiomatising admissible rules
Revaz Grigolia	Institute of Cybernetics, Javakhishvili Tbilisi State University	Gödel spaces and perfect MV–algebras
Tega Ighedo	University of South Africa	Two functors induced by z-ideals and d-ideals of function rings
Julia Ilin	Universiteit van Amsterdam	Cofinal stable logics
Ramón Jansana	Universitat de Barcelona	A topological duality for filter-distributive congruential logics
Mamuka Jibladze	TSU Razmadze Mathematical Institute	Frame completions of conditional frames
Stanislav Kikot	Institute for Information Transmission Problems	A dichotomy for some elementarily generated modal logics
Andrey Kudinov	Moscow State University	Modal logic of products of neighborhood frames
Evgeny Kuznetsov	Javakhishvili Tbilisi State University	Local homeomorphisms and Esakia duality
Joel Lucero-Bryan	Khalifa University	Modal logics of metric spaces
Patrick Morandi	New Mexico State University	Proximity biframes and compactifications of completely regular ordered spaces
Aybüke Özgün	LORIA, Nancy	A new topological semantics for (dynamic) doxastic logic
Jorge Picado	Universidade de Coimbra	On the completion of pointfree function rings
Ilya Shapirovsky	Institute for Information Transmission Problems	Tensor products of logics containing S4
Valentin Shehtman	Moscow State University	Squares of modal logics and relation algebras
Sumit Sourabh	Universiteit van Amsterdam	Duality and canonicity for Boolean algebra with a relation

Organizers:

Guram Bezhanishvili	(New Mexico State University, Las Cruces, USA)
Nick Bezhanishvili	(ILLC, University of Amsterdam, The Netherlands)
David Gabelaia	(TSU Razmadze Mathematical Institute, Tbilisi, Georgia)
Mamuka Jibladze	(TSU Razmadze Mathematical Institute, Tbilisi, Georgia)

The workshop is organized by the TSU Razmadze Mathematical Institute, supported by the Rustaveli Foundation grant #FR/489/5-105/11.
The workshop will take place at the Hotel ZP Palace, where most participants will be staying.

Accommodation

Getting around in Tbilisi

Information about the workshop will be updated regularly.

For additional questions please contact Guram Bezhanishvili or David Gabelaia.