1. A sequence formalization for SCI

   • Anita Wasilewska

   OriginalPaper Pages: 213 - 217

2. Prelogic of logoi

   • Marcel Crabbé

   OriginalPaper Pages: 219 - 226

3. Semantics for finitary predicate calculi

   • Klaus Bernhardt

   OriginalPaper Pages: 227 - 241

4. Threshold logic (II)

   • Ewa Orŀowska

   OriginalPaper Pages: 243 - 247

5. Projective and inductive generation of abstract logics

   • Stephen L. Bloom

   OriginalPaper Pages: 249 - 255

6. Embeddings of classical logic in S4 part II

   • Johannes Czermak

   OriginalPaper Pages: 257 - 271

7. Discrete linear future time without axioms

   • Krister Segerberg

   OriginalPaper Pages: 273 - 278

8. Functions definable in Sugihara algebras and their fragments. II

   • Marek Tokarz

   OriginalPaper Pages: 279 - 283

9. On Kreisel's notion of validity in post systems

   • Dov M. Gabbay

   OriginalPaper Pages: 285 - 295

10. Semantics for von Wright's latest deontic logic

    • Imre Ruzsa

    OriginalPaper Pages: 297 - 314

11. Quantification and RM

    • J. Michael Dunn

    OriginalPaper Pages: 315 - 322

12. Revies

    • Jan Zygmunt

    BookReview Pages: 323 - 326