1. Introduction

   • Charles G. Morgan

   EditorialNotes Pages: iii - iii

2. Automated theorem proving for Łukasiewicz logics

   • Gordon Beavers

   OriginalPaper Pages: 183 - 195

   

3. A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics

   • Ricardo Caferra
   • Stéphane Demri
   • Michel Herment

   OriginalPaper Pages: 197 - 232

4. Theory matrices (for modal logics) using alphabetical monotonicity

   • Ian P. Gent

   OriginalPaper Pages: 233 - 257

5. An intensional epistemic logic

   • Yue J. Jiang

   OriginalPaper Pages: 259 - 280

6. A reasoning method for a paraconsistent logic

   • Arthur Buchsbaum
   • Tarcisio Pequeno

   OriginalPaper Pages: 281 - 289

7. Identity in modal logic theorem proving

   • Francis J. Pelletier

   OriginalPaper Pages: 291 - 308

8. An essay on resolution logics

   • Zbigniew Stachniak

   OriginalPaper Pages: 309 - 322

9. The relative complexity of analytic tableaux and SL-resolution

   • André Vellino

   OriginalPaper Pages: 323 - 337