(ToLogo courtesy Marcel Erné)

International Workshop on Topological Methods in Logic V


June 13-17, 2016

Tbilisi, Georgia

Venue: Ilia State University, Chavchavadze ave. #32, Room #101. [PDF Map] [Google Map]


This is the fifth in a series of workshops dedicated to the study of topological methods in logic. The homepages of the first four 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

  Dynamic Epistemic Logic


Schedule of the workshop:



Tutorial speakers:

Alexandru Baltag

ILLC, University of Amsterdam

Surprise! (Or How to Avoid Unexpected Exams)

Vincenzo Marra

Department of Mathematics, University of Milan

From classical to many-valued logic: first steps

Tadeusz Litak

Department Informatik, FAU Erlangen-Nürnberg

Dialogues, Proofs and Programs


Workshop speakers:

Matthias Baaz

Vienna University of Technology

Extending Gödel logic by an operator adding a constant

Alexandru Baltag

ILLC, University of Amsterdam

Belief, Knowledge and the Topology of Evidence

Benno van den Berg

ILLC, University of Amsterdam

Path categories

Alex Citkin

Metropolitan Telecommunications

Admissibility in multiple-conclusion logics with the disjunction property

Almudena Colacito

ILLC, University of Amsterdam

Generalized Heyting Algebras with a Unary Operator

Karin Cvetko-Vah

University of Ljubljana

On Skew Heyting Algebras

Sebastian Enqvist

ILLC, University of Amsterdam

Instantial neighborhood semantics with an application to game logic

Silvio Ghilardi

Department of Mathematics, University of Milan

Monadic second order logic as the model companion of temporal logic

Sam van Gool

Department of Mathematics, City College of New York

Studying profinite monoids via logic

Revaz Grigolia

Iv. Javakhishvili Tbilisi State University

On the theory of perfect monadic MV-algebras


Charles University Prague and University of Birmingham

A Vietoris functor for d-frames

Mamuka Jibladze

TSU A. Razmadze Mathematical Institute

Spectra of compact regular frames


Department of Mathematics, University of Milan

The Riesz representation theorem for valuations on distributive lattices

Andrey Kudinov

Department of Mathematics, Higher School of Economics, Moscow

Topologies on pseudoinfinite paths

Clemens Kupke

Computer and Information Sciences, University of Strathclyde, Glasgow

Games for clopen fixpoints and the mu-calculus

Tamar Lando

Department of Philosophy,  Columbia University

Topology and Measure in Logics for Point-Free Space

Frederik Lauridsen

ILLC, University of Amsterdam

Some observations regarding hypersequent calculi for Intermediate Logics

Tadeusz Litak

Department Informatik, FAU Erlangen-Nürnberg

Complete Additivity and Modal Incompleteness

Joel Lucero-Bryan

Department of Applied Mathematics and Sciences, Khalifa University, UAE

Localic Krull Dimension

Vincenzo Marra

Department of Mathematics, University of Milan

New research directions in the geometry of Intuitionistic Logic

Soroush Rafiee

ILLC, University of Amsterdam

Equivalence between Hilbert lattices and quantum dynamic algebras

Luca Reggio

LIAFA, Université Paris Diderot - Paris 7

Toward a general Stone-Gelfand duality

Thomas Santoli

ILLC, University of Amsterdam

Logics for compact Hausdorff spaces via de Vries duality

Ilya Shapirovsky

The Institute for Information Transmission Problems

Local tabularity via filtrations

Valentin Shehtman

Department of Mathematics, Moscow State University

Bisimulation games and formula depth

Luca Spada

Department of Mathematics, University of Salerno

A topological duality for lattices with residuated operations

Levan Uridia

TSU A. Razmadze Mathematical Institute

Group Belief in Structured Coalitions




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 and ILIAUNI Savle Tsereteli Institute of Philosophy.
The workshop will take place at Ilia State University.


Getting around in Tbilisi

Information about the workshop will be updated regularly.

For additional questions please contact Nick Bezhanishvili or David Gabelaia.