International Workshop on Topological Methods in Logic V

June 13—17, 2016

Tbilisi, Georgia

SCHEDULE

 

 

 

Monday, 13 June - Tutorials

 

0945 – 1000

Opening

1000 – 1050

Alexandru Baltag

Surprise! (Or How to Avoid Unexpected Exams)

1055 – 1145

Alexandru Baltag

Surprise! (Or How to Avoid Unexpected Exams)

1200 – 1400

Lunch break

1400 – 1450

Vincenzo Marra

From classical to many-valued logic: first steps

1455 – 1545

Vincenzo Marra

From classical to many-valued logic: first steps

1545 – 1615

Coffee break

1615 – 1705

Tadeusz Litak

Dialogues, Proofs and Programs

1710 – 1800

Tadeusz Litak

Dialogues, Proofs and Programs

1805 – ∞

Reception

 

 

 

Tuesday, 14 June

 

1000 – 1050

Alexandru Baltag

Belief, Knowledge and the Topology of Evidence

1055 – 1145

Levan Uridia

Group Belief in Structured Coalitions

1150 – 1400

Lunch break

1400 – 1450

Clemens Kupke

Games for clopen fixpoints and the mu-calculus

1455 – 1545

Valentin Shehtman

Bisimulation games and formula depth

1545 – 1615

Coffee break

1615 – 1705

Ilya Shapirovsky

Local tabularity via filtrations

1710 – 1800

Sebastian Enqvist

Instantial neighborhood semantics with an application to game logic

1805 – 1855

Andrey Kudinov

Topologies on pseudoinfinite paths

 

 

 

 

 

 

Wednesday, 15 June

 

 

 

1000 – 1050

Joel Lucero-Bryan

Localic Krull Dimension

1055 – 1145

Vincenzo Marra

New research directions in the geometry of Intuitionistic Logic

1150 – 1400

Lunch break

1400 – 1450

Mamuka Jibladze

Spectra of compact regular frames

1455 – 1545

TomᚠJakl

A Vietoris functor for d-frames

1545 – 1615

Coffee break

1615 – 1705

TomᚠKroupa

The Riesz representation theorem for valuations on distributive lattices

1710 – 1800

Luca Reggio

Toward a general Stone-Gelfand duality

 

 

 

 

 

 

 

 

Thursday, 16 June

 

 

 

0900 – 0950

Alex Citkin

Admissibility in multiple-conclusion logics with the disjunction property

0955 – 1025

Frederik Lauridsen

Some observations regarding hypersequent calculi for Intermediate Logics

1025 – 1040

Coffee break

1040 – 1110

Almudena Colacito

Generalized Heyting Algebras with a Unary Operator

1115 – 1205

Karin Cvetko-Vah

On Skew Heyting Algebras

1210 – 1400

Lunch break

1400 – 1450

Tamar Lando

Topology and Measure in Logics for Point-Free Space

1455 – 1525

Thomas Santoli

Logics for compact Hausdorff spaces via de Vries duality

1525 – 1540

Coffee break

1540 – 1630

Matthias Baaz

Extending Gφdel logic by an operator adding a constant

1630 – 1700

Soroush Rafiee

Equivalence between Hilbert lattices and quantum dynamic algebras

1715 – ∞

Tour of Tbilisi and Banquet

 

 

 

 

Friday, 17 June

 

 

 

1000 – 1050

Tadeusz Litak

Complete Additivity and Modal Incompleteness

1055 – 1145

Silvio Ghilardi

Monadic second order logic as the model companion of temporal logic

1150 – 1400

Lunch break

1400 – 1450

Sam van Gool

Studying profinite monoids via logic

1455 – 1545

Benno van den Berg

Path categories

1545 – 1615

Coffee break

1615 – 1705

Revaz Grigolia

On the theory of perfect monadic MV-algebras

1710 – 1800

Luca Spada

A topological duality for lattices with residuated operations