International Workshop on Topological Methods in Logic II

June 8—10, 2010

Tbilisi, Georgia


This is the second in a series of workshops dedicated to the study of topological methods in logic. The homepage of the first workshop is 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. The main emphasis of the workshop will be on the duality theory, as well as on the use of topological methods in modal logic and computer science.



Topological Methods in Computer Science

Topology and Modal Logic

Duality Theory

Toposes and Point-Free Topology



Beklemishev, Lev

Steklov Mathematical Institute, Moscow, Russia

Topological completeness of polymodal provability logic GLP

Bezhanishvili, Nick

Imperial College, London, UK

Sahlqvist theorem for modal fixpoint logics

Dashiell, Fred

UCLA, Los Angeles, USA

Subordinated Boolean algebras and pointfree covers

Dimov, Georgi

University of Sofia, Bulgaria

Some generalizations of Stone duality theorem

Erné, Marcel

Leibniz University, Hannover, Germany

Camp models for Moore spaces and duality for Stone bases

Gehrke, Mai

Radboud University, Nijmegen, The Netherlands

Dual spaces as completion of Pervin uniformities and their application to recognition of formal languages – Part I

Ghilardi, Silvio

University of Milan, Italy

Does continuity matter to modal logicians?

Hofmann, Dirk

University of Aveiro, Portugal

Duality for completely distributive spaces

Jansana, Ramon

University of Barcelona, Spain

A topological duality for Hilbert algebras

Kupke, Clemens

Imperial College, London, UK

Coalgebras over Stone spaces and canonical models

Kurz, Alexander

University of Leicester, UK

Coalgebraic logic over posets

Litak, Tadeusz

University of Leicester, UK

Non-canonicity: two stories

Marra, Vincenzo

University of Milan, Italy

Stone duality above dimension zero: a survey of old and new results

Palmigiano, Alessandra

University of Amsterdam, The Netherlands

Groupoid quantales beyond the étale setting

Pin, Jean-Eric

University of Paris, France

Dual spaces as completion of Pervin uniformities and their application to recognition of formal languages – Part II

Spada, Luca

University of Salerno, Italy

The prime spectrum of MV-algebras

Staton, Sam

University of Cambridge, UK

Semilattices and the semantics of non-determinism and partiality

Tinchev, Tinko

University of Sofia, Bulgaria

Logics of space with contact and connectedness predicates: complete axiomatizations of the universal fragments

Vakarelov, Dimitar

University of Sofia, Bulgaria

Dynamic mereotopology: a point-free theory of changing regions. Topological representations

Venema, Yde

University of Amsterdam, The Netherlands

Geometric coalgebraic logic & a generalization of the Vietoris construction



Guram Bezhanishvili

(New Mexico State University, Las Cruces, USA)

Nick Bezhanishvili

(Imperial College, London, UK)

Leo Esakia

(Razmadze Mathematical Institute, Tbilisi, Georgia)

David Gabelaia

(Razmadze Mathematical Institute, Tbilisi, Georgia)

Mamuka Jibladze

(Razmadze Mathematical Institute, Tbilisi, Georgia)

Dimitri Pataraia

(Razmadze Mathematical Institute, Tbilisi, Georgia)


The workshop is organized by the Razmadze Mathematical Institute, supported by the Georgian National Science Foundation grant GNSF/ST08/3-397
and hosted by the Georgian American University, Tbilisi, Georgia




Social Program

Getting around in Tbilisi

For additional questions please contact Guram Bezhanishvili or Mamuka Jibladze