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 Gdel–Lb 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

Ordered sums, Horn properties, and provability logics

13:00 – 13:50

David Gabelaia, Mamuka Jibladze

The variety of nuclear meet–implicative semilattices is locally finite