1. Preface

   • Maria Luisa Dalla Chiara
   • Daniele Mundici

   OriginalPaper Pages: 117 - 120

2. Finite Trees in Tense Logic

   • Fabio Bellissima
   • Saverio Cittadini

   OriginalPaper Pages: 121 - 140

3. Relating Quine's NF to Feferman's EM

   • Andrea Cantini

   OriginalPaper Pages: 141 - 162

4. Bull's Theorem by the Method of Diagrams

   • Giovanna Corsi

   OriginalPaper Pages: 163 - 176

5. Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of ♦-Formulae

   • Stéphane Demri
   • Ewa Orłowska

   OriginalPaper Pages: 177 - 200

6. On the Elementarity of Some Classes of Abelian-by-Infinite Groups

   • Annalisa Marcja
   • Carlo Toffalori

   OriginalPaper Pages: 201 - 213

7. Theories of Types and Names with Positive Stratified Comprehension

   • Pierluigi Minari

   OriginalPaper Pages: 215 - 242

8. Paradigms in Measure Theoretic Learning and in Informant Learning

   • Franco Montagna
   • Giulia Simi

   OriginalPaper Pages: 243 - 268

9. Subdirectly Irreducible Modal Algebras and Initial Frames

   • Giovanni Sambin

   OriginalPaper Pages: 269 - 282

10. Monotone Majorizable Functionals

    • Helmut Schwichtenberg

    OriginalPaper Pages: 283 - 289

11. Marginalia on Sequent Calculi

    • A. S. Troelstra

    OriginalPaper Pages: 291 - 303

12. From Brouwerian Counter Examples to the Creating Subject

    • Dirk van Dalen

    OriginalPaper Pages: 305 - 314

13. Instructions for authors

    OriginalPaper Pages: 315 - 315