1. A Negationless Interpretation of Intuitionistic Theories. II

   • Victor N. Krivtsov

   OriginalPaper Pages: 155 - 179

2. Varieties of Three-Valued Heyting Algebras with a Quantifier

   • M. Abad
   • J.P. Díaz Varela
   • A.M. Suardíaz

   OriginalPaper Pages: 181 - 198

3. Arrow Logic and Infinite Counting

   • Ágnes Kurucz

   OriginalPaper Pages: 199 - 222

4. Non-Commutative Topology and Quantales

   • Marcelo E. Coniglio
   • Francisco Miraglia

   OriginalPaper Pages: 223 - 236

5. Kripke Incompleteness of Predicate Extensions of the Modal Logics Axiomatized by a Canonical Formula for a Frame with a Nontrivial Cluster

   • Tatsuya Shimura

   OriginalPaper Pages: 237 - 247

6. First Order Common Knowledge Logics

   • Frank Wolter

   OriginalPaper Pages: 249 - 271

7. Book Reviews

   BookReview Pages: 273 - 298