Third International Wormshop

Workshop on Proof Theory, Modal Logic and Reflection Principles

Tbilisi, Georgia

Monday, September 5 -- Friday, September 9, 2016

Aims and Scope

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert’s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations. Topics include, but are not limited, to: