Types in class set theory and inaccessible cardinals M. Victoria Marshall OriginalPaper Pages: 145 - 156
A double arity hierarchy theorem for transitive closure logic Martin GroheLauri Hella OriginalPaper Pages: 157 - 171
On the interpolation property of some intuitionistic modal logics C. Luppi OriginalPaper Pages: 173 - 189
A complete many-valued logic with product-conjunction Petr HájekLluis GodoFrancesc Esteva OriginalPaper Pages: 191 - 208