5-9 September, 2016, Workshop on Proof Theory, Modal Logic and Reflection Principles, Tbilisi, Georgia

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.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/