1. Provability: the emergence of a mathematical modality

   • George Boolos
   • Giovanni Sambin

   OriginalPaper Pages: 1 - 23

2. A note on the normal form of closed formulas of interpretability logic

   • Petr Hájek
   • Vítězslav Švejdar

   OriginalPaper Pages: 25 - 28

3. Some independence results in interpretability logic

   • Vítězslav Švejdar

   OriginalPaper Pages: 29 - 38

4. Explicit Fixed Points in Interpretability Logic

   • Dick de Jongh
   • Albert Visser

   OriginalPaper Pages: 39 - 49

5. On the proof of Solovay's theorem

   • Dick de Jongh
   • Marc Jumelet
   • Franco Montagna

   OriginalPaper Pages: 51 - 69

6. Rosser orderings and free variables

   • Dick de Jongh
   • Franco Montagna

   OriginalPaper Pages: 71 - 80

7. The formalization of Interpretability

   • Albert Visser

   OriginalPaper Pages: 81 - 105

8. Provability logics for natural turing progressions of arithmetical theories

   • L. D. Beklemishev

   OriginalPaper Pages: 107 - 128

9. Some unifying fixed point principles

   • Raymond M. Smullyan

   OriginalPaper Pages: 129 - 141

10. The Lindenbaum fixed point algebra is undecidable

    • V. Yu. Shavrukov

    OriginalPaper Pages: 143 - 148

11. Predicate provability logic with non-modalized quantifiers

    • Giorgie Dzhaparidze

    OriginalPaper Pages: 149 - 160

12. Books received

    • Janusz Czelakowski
    • Lawrence S. Moss

    BookReview Pages: 161 - 167