Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 5-9 September, 2016
Location: Tbilisi, Georgia
Costs: 200 euro registration

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/

Please note that this newsitem has been archived, and may contain outdated information or links.