1. Editorial

   • Roy Dyckhoff
   • Heinrich Wansing

   Editorial Introduction Pages: 195 - 196

2. Decomposition Proof Systems for Gödel-Dummett Logics

   • Arnon Avron
   • Beata Konikowska

   OriginalPaper Pages: 197 - 219

3. Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics

   • Diderik Batens
   • Joke Meheus

   OriginalPaper Pages: 221 - 248

4. On Different Intuitionistic Calculi and Embeddings from Int to S4

   • Uwe Egly

   OriginalPaper Pages: 249 - 277

5. An Extended Joint Consistency Theorem for a Nonconstructive Logic of Partial Terms with Definite Descriptions

   • Raymond D. Gumb

   OriginalPaper Pages: 279 - 292

6. Connection-Driven Inductive Theorem Proving

   • Christoph Kreitz
   • Brigitte Pientka

   OriginalPaper Pages: 293 - 326

7. Information for Authors

   Instructions for Authors Pages: 329 - 329