Proof Theory and Modal Logic - First International Workshop

• Gerhard Jäger: Tutorial on Predicativity, Lecture 1

• Lev D. Beklemishev: Tutorial On Provability Algebras, Lecture 1: An Overview

• Joost J. Joosten: Tutorial On Provability Algebras, Lecture 2: Manipulating And Ordering Worms

• Ilya Shapirovsky: PSPACE Complexity Of GLP And Some Other Modal Logics

• Lorenzo Carlucci: Ramsey Theorem, Turing Jumps, And Relatively Large Sets

• Fedor Pakhomov: Decidability Of The Elementary Theory Of The Free 0-Generated GLP-Algebra And Some Related Questions

• Gerhard Jäger: Tutorial On Predicativity, Lecture 2

• David Fernández Duque: Tutorial On Provability Algebras, Lecture 3: Models Of Provability Logic

• Michael Rathjen: Slow Consistency

• Lorenzo Carlucci: On The Worm Principle

• Evgeniy Dashkov: Provability Algebras For Theories Of Tarskian Truthpredicates

• Kentaro Sato: Impacts Of Reflection Principle

• David Fernández Duque: Transfinite Provability Logic

• David Gabelaia: The Topological Completeness Of The Polymodal Olymodal Provability Logic GLP

• Joan Bagaria: Large Cardinals And Topological Completeness Of Polymodal Provability Logics

• Timothy Carlson: Β-Logic And Patterns Of Resemblance: Recent Progress

• Andrés Cordón Franco: Local Induction And Σ2–Consequences Of Aritmetic Theories

• Francisco Félix Lara: On An Abstract Approach To The Reduction Property

• Grigori Mints, Grigori Olkhovikov, and Alasdair Urquhart: Failure Of Interpolation For Intuitionistic Logic Of Constant Domains

• Danyar Shamkanov: Interpolation Properties For Provability Logics GL And GLP

• Interactive Session On Open Questions In Provability Algebras And Related Topics