(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






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:



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




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.


Getting around in Tbilisi

Information about the workshop will be updated regularly.

For additional questions please contact Guram Bezhanishvili or David Gabelaia.