Proof Theory and Foundations of Mathematics

1. Kreisel’s“Shift of Emphasis”and Contemporary Proof Mining*†
2. Kreisel–Lévy type Theorems for Set Theories
3. Herbrand Expansions and Extraction of Proofs from Diagrams
4. A Labelled Sequent Calculus for Public Announcement Logic
5. Logics for Modally Real and Modally Nonreal Events
6. Cultural Manifest Knowledge Contributing to Deep Disagreement*

1. Call for Submissions