1. Language and proof theory

   • Dov Gabbay
   • Ruth Kempson

   OriginalPaper Pages: 247 - 251

2. Tree models and (labeled) categorial grammar

   • Yde Venema

   OriginalPaper Pages: 253 - 277

3. Extending Lambek grammars to basic categorial grammars

   • Wojciech Buszkowski

   OriginalPaper Pages: 279 - 295

4. A calculus for first order Discourse Representation Structures

   • Hans Kamp
   • Uwe Reyle

   OriginalPaper Pages: 297 - 348

5. Multimodal linguistic inference

   • Michael Moortgat

   OriginalPaper Pages: 349 - 385

6. Fibred semantics for feature-based grammar logic

   • Jochen Dörre
   • Esther König
   • Dov Gabbay

   OriginalPaper Pages: 387 - 422