(ToLogo courtesy Marcel Erné)

International Workshop on Topological Methods in Logic VI

July 2-6, 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):

Schedule

Workshop speakers:

Rajab Aghamov	Department of Mathematics, Higher School of Economics, Moscow	Modal logic of T0-spaces
Lev Beklemishev	Steklov Mathematical Institute, Moscow	Reflection calculus and conservativity spectra
Nick Bezhanishvili	ILLC, University of Amsterdam	A logical calculus for compact Hausdorff spaces
Almudena Colacito	Mathematical Institute, Universität Bern	The topological space of pre-orders on abelian groups
Luck Darnière	Département de mathématiques, Université d'Angers	Model completions of co-Heyting algebras
David Gabelaia	TSU Razmadze Mathematical Institute, Tbilisi	Modal logics of polytopes – what we know so far
Mai Gehrke	Laboratoire J. A. Dieudonné, Université Côte d’Azur, Nice	Bands, Skew Lattices, and Sheaves
Silvio Ghilardi	Department of Mathematics, University of Milan	Duality and Bounded Bisimulations: old and new applications
Sam van Gool	ILLC, University of Amsterdam	Uniform interpolation via an open mapping theorem for Esakia spaces
Revaz Grigolia	Iv. Javakhishvili Tbilisi State University	On the variety of LPG-algebras
Wesley Holliday	Department of Philosophy, UC Berkeley	A Semantic Hierarchy for Intuitionistic Logic
Tomáš Jakl	Laboratoire J. A. Dieudonné, Université Côte d’Azur, Nice	Free constructions and quotients of d-frames
Andrey Kudinov	Department of Mathematics, Higher School of Economics, Moscow	Neighbourhood and topological completeness for quantified pretransitive modal logics
Tamar Lando	Department of Philosophy, Columbia University	Problems of size in region-based theories of space
Serafina Lapenta	Department of Mathematics, University of Salerno	Infinitary logic and basically disconnected spaces
Frederik Lauridsen	ILLC, University of Amsterdam	MacNeille transferability of finite lattices
Tadeusz Litak	Department Informatik, FAU Erlangen-Nürnberg	One Modal Logic to Rule Them All?
Joel Lucero-Bryan	Department of Applied Mathematics and Sciences, Khalifa University	Topological completeness of modal logics for spaces constructed from trees
Vincenzo Marra	Department of Mathematics, University of Milan	Some open problems on intermediate logics determined by classes of polyhedra
Guillaume Massas	Logic and Philosophy of Science, UC Irvine	Completions of Heyting algebras and bi-relational semantics for IPC
Luca Reggio	Laboratoire J. A. Dieudonné, Université Côte d’Azur, Nice	Pretoposes and topological representations
Ilya Shapirovsky	The Institute for Information Transmission Problems, Moscow	The one-variable fragment of a non-locally tabular modal logic can be finite
Valentin Shehtman	Department of Mathematics, Moscow State University	On simplicial semantics of modal predicate logics
Luca Spada	Department of Mathematics, University of Salerno	Denominator respecting maps

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)
Evgeny Kuznetsov	(TSU Razmadze Mathematical Institute, Tbilisi, Georgia)
Tamar Tsopurashvili	(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 DI-2016-25.

The workshop will take place at Ilia State University.

Accommodation

Getting around in Tbilisi

Information about the workshop will be updated regularly.

For additional questions please contact Nick Bezhanishvili or David Gabelaia.