2016-08-31
Workshop on Proof Theory, Modal Logic and Reflection Principles
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:
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:
- Turing-Feferman progressions
- Provability logics and algebras
- Weak fragments of modal logics
- Proof-theory of arithmetic and analysis
- Ordinal analysis
- Point-set topology
- Set theory
- Model theory
« back to list