(ToLogo courtesy Marcel Erné) 
International Workshop on Topological Methods in Logic VI 
July 26, 2018
Tbilisi, Georgia
Venue:
Ilia State University, Chavchavadze Ave. 32. [Google Map]
This is the sixth in a
series of workshops dedicated to the study of topological methods in logic. The
homepages of the first five workshops are available at
ToLo 1, ToLo
2, ToLo 3, ToLo 4, ToLo
5
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:
Semantics for
Intuitionistic Logic
Topology and
Modal Logic
Duality Theory
Workshop schedule (with links to presentations of the talks):
Workshop speakers:
Department of Mathematics, Higher School of Economics, Moscow 

Steklov
Mathematical Institute, Moscow 

ILLC, University of Amsterdam 

Mathematical Institute, Universität Bern 

Département de mathématiques, Université d'Angers 

TSU Razmadze Mathematical Institute, Tbilisi 

Laboratoire J. A. Dieudonné, Université
Côte d’Azur, Nice 

Department of Mathematics, University of Milan 

ILLC, University of Amsterdam 
Uniform interpolation via an open mapping theorem for Esakia spaces 

Iv. Javakhishvili Tbilisi State University 

Department of Philosophy, UC Berkeley 

Laboratoire J. A. Dieudonné, Université
Côte d’Azur, Nice 

Department of Mathematics, Higher School of Economics, Moscow 
Neighbourhood and topological completeness for quantified
pretransitive modal logics 

Department of Philosophy, Columbia University 

Department of Mathematics, University of Salerno 

ILLC, University of Amsterdam 

Department Informatik, FAU ErlangenNürnberg 

Department of Applied Mathematics and Sciences, Khalifa University 
Topological completeness of modal logics for spaces constructed from trees 

Department of Mathematics, University of Milan 
Some open problems on intermediate logics determined by classes of polyhedra 

Logic and Philosophy of Science, UC Irvine 
Completions of Heyting algebras and birelational semantics for IPC 

Laboratoire J. A. Dieudonné, Université
Côte d’Azur, Nice 

The Institute for Information Transmission Problems, Moscow 
The onevariable fragment of a nonlocally tabular modal logic can be finite 

Department of Mathematics, Moscow State University 

Department of Mathematics, University of Salerno 
Organizers:
(New Mexico
State University, Las Cruces, USA) 

(ILLC,
University of Amsterdam, The Netherlands) 

(TSU Razmadze Mathematical Institute, Tbilisi, Georgia) 

(TSU Razmadze Mathematical Institute, Tbilisi, Georgia) 

(TSU Razmadze Mathematical Institute, Tbilisi, Georgia) 

(Savle
Tsereteli Institute of Philosophy, Tbilisi, Georgia) 
The workshop is organized
by the TSU Razmadze Mathematical Institute and ILIAUNI Savle Tsereteli Institute of
Philosophy,
supported by the Shota Rustaveli National Foundation
grant DI201625.
The workshop will take place at Ilia
State University.
Information about the
workshop will be updated regularly.
For additional questions
please contact Nick Bezhanishvili
or David Gabelaia.