Advances in Proof Theory

1. A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal
Wilfried Buchholz

2. About Truth and Types
Andrea Cantini

3. Lindenbaum’s Lemma via Open Induction
Francesco Ciraulo, Davide Rinaldi, Peter Schuster

4. Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory
Jacob Cook, Michael Rathjen

5. Machine-Checked Proof-Theory for Propositional Modal Logics
Jeremy E. Dawson, Rajeev Goré, Jesse Wu

6. Intuitionistic Decision Procedures Since Gentzen
Roy Dyckhoff

7. The Operational Perspective: Three Routes
Solomon Feferman

8. Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic
Pierluigi Minari

9. From Subsystems of Analysis to Subsystems of Set Theory
Wolfram Pohlers

10. Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut
Peter Schroeder-Heister

11. Higman’s Lemma and Its Computational Content
Helmut Schwichtenberg, Monika Seisenberger, Franziskus Wiesnet

12. How to Reason Coinductively Informally
Anton Setzer

13. Pointwise Transfinite Induction and a Miniaturized Predicativity
Stanley S. Wainer

Keywords: Mathematics, Mathematical Logic and Foundations, Logic