Third
International Wormshop
Workshop on Proof
Theory, Modal Logic and Reflection Principles
Tbilisi, Georgia
Monday, September
5 –– Friday, September 9, 2016
Monday, 5.09
|
14:00 – 14:45 |
Registration |
|
|
14:45 – 15:00 |
Opening |
|
|
15:00 – 15:50 |
Sergei Artemov |
Reasoning with Reasons |
|
16:00 – 16:30 |
Coffee |
|
|
16:30 – 17:20 |
Daniyar Shamkanov |
A realization theorem for the Gšdel–Lšb provability logic |
|
17:30 – 18:30 |
Juan Pablo Aguiliera |
The Topological Completeness of GLPL |
Tuesday, 6.09
|
09:00 – 09:50 |
Matthias Baaz |
Reflection of universal formulas and Hilbert's two programs on the Foundation of Mathematics |
|
10:00 – 10:50 |
Sergei Artemov |
On Aggregating Probabilistic Evidence |
|
11:00 – 11:30 |
Coffee |
|
|
11:30 – 12:20 |
Lev Beklemishev |
Reflection calculus with conservativity modalities |
|
12:30 – 15:00 |
Lunch break |
|
|
15:00 – 15:50 |
Paula Henk |
Nonstandard notions of provability and their modal logics |
|
16:00 – 16:50 |
Fedor Pakhomov |
Slow provability and roots of provability predicates |
Wednesday, 7.09
10:00 – ´ Excursion + Dinner
Thursday, 8.09
|
10:00 – 10:50 |
David Fernandez–Duque |
Verification logic |
|
11:00 – 11:30 |
Coffee |
|
|
11:30 – 12:20 |
Junhua Yu |
Instantial neighborhood logic with its tableau system |
|
12:30 – 15:00 |
Lunch break |
|
|
15:00 – 15:50 |
Denis Saveliev |
Modal logic of model-theoretic constructions: a general approach
and first applicatons |
|
16:00 – 16:50 |
Paul Shafer |
Honest elementary degrees without the cupping property |
Friday, 9.09
|
09:00 – 09:50 |
Joost Joosten |
The many faces of Ignatiev's model |
|
10:00 – 10:50 |
Eduardo Hermo Reyes |
Relational Semantics for Turing Schmerl Calculus |
|
11:00 – 11:30 |
Fedor Pakhomov |
Transitive modal logics with nominals and cardinalities of their
frames. |
|
11:40 – 12:00 |
Coffee |
|
|
12:00 – 12:50 |
Ilya Shapirovsky |
|
|
13:00 – 13:50 |
David Gabelaia, Mamuka Jibladze |
The variety of nuclear meet–implicative semilattices is
locally finite |