1. Logics that define their own semantics

   • H. Imhof

   Pages: 491 - 513

2. Weak covering and the tree property

   • Ralf-Dieter Schindler

   Pages: 515 - 520

3. Sequent calculus proof theory of intuitionistic apartness and order relations

   • Sara Negri

   Pages: 521 - 547

4. On the \(\kappa\)-cub game on \(\lambda \) and \(I[\lambda ]\)

   • Taneli Huuskonen
   • Tapani Hyttinen
   • Mika Rautila

   Pages: 549 - 557