(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

http://www.rmi.ge/tolo

http://www.rmi.ge/tolo2

http://www.rmi.ge/tolo3

http://www.rmi.ge/tolo4

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:

Schedule

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
Tomáš Jakl	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
Tomáš Kroupa	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

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)

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.

Accommodation

Getting around in Tbilisi

Information about the workshop will be updated regularly.

For additional questions please contact Nick Bezhanishvili or David Gabelaia.