(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.