1. On the size of refutation Kripke models for some linear modal and tense logics

   • Hiroakira Ono
   • Akira Nakamura

   OriginalPaper Pages: 325 - 333

2. Set theory as modal logic

   • Herman Dishkant

   OriginalPaper Pages: 335 - 345

3. Interpretations of the first-order theory of diagonalizable algebras in peano arithmetic

   • Franco Montagna

   OriginalPaper Pages: 347 - 354

4. The undecidability of the first-order theory of diagonalizable algebras

   • Franco Montagna

   OriginalPaper Pages: 355 - 359

5. Intuitionistic uniformity principles for propositions and some applications

   • W. Friedrich
   • H. Luckhardt

   OriginalPaper Pages: 361 - 369

6. On constructive functions ranging over propositions

   • H. Luckhardt

   OriginalPaper Pages: 371 - 374

7. An example of strongly finite consequence operation with 2^ℵ0 standard strengthenings

   • Wiesław Dziobiak

   OriginalPaper Pages: 375 - 379

8. Gentzen formulations of two positive relevance logics

   • Aleksandar Kron

   OriginalPaper Pages: 381 - 403

9. A note on three-valued logic and Tarski theorem on truth definitions

   • Andrea Cantini

   OriginalPaper Pages: 405 - 414

10. Finite axiomatization for some intermediate logics

    • I. Janioka-Żuk

    OriginalPaper Pages: 415 - 423

11. IUHPS/DLMPS Bulletin no. 4

    Report Pages: 425 - 433