1. Tableaux and Dual Tableaux: Transformation of Proofs

   • Joanna Golińska-Pilarek
   • Ewa Orłowska

   OriginalPaper 27 June 2007 Pages: 283 - 302

2. Kripke Incomplete Logics Containing KTB

   • Yutaka Miyazaki

   OriginalPaper 22 June 2007 Pages: 303 - 317

3. Kripke Models, Distributive Lattices, and Medvedev Degrees

   • Sebastiaan A. Terwijn

   OriginalPaper 26 June 2007 Pages: 319 - 332

4. An Institution-independent Proof of the Beth Definability Theorem

   • M. Aiguier
   • F. Barbier

   OriginalPaper 02 May 2007 Pages: 333 - 359

5. The Lattice of Subvarieties of the Variety Defined by Externally Compatible Identities of Abelian Groups of Exponent n

   • Katarzyna Gajewska-Kurdziel
   • Krystyna Mruczek-Nasieniewska

   OriginalPaper 02 May 2007 Pages: 361 - 379

6. A Splitting Logic in NExt(KTB)

   • Yutaka Miyazaki

   OriginalPaper 11 May 2007 Pages: 381 - 394

7. Necessity and Relative Contingency

   • Claudio Pizzi

   OriginalPaper 05 June 2007 Pages: 395 - 410

8. Joseph Y. Halpern, Reasoning about uncertainty

   • Igor Kozine

   BookReview 02 May 2007 Pages: 411 - 412

9. Patrick Blackburn and Johan Bos, Representation and Inference for Natural Language

   • Anders Søgaard

   Book Reviews 02 May 2007 Pages: 413 - 418

10. Edwin D. Mares, Relevant Logic—A Philosophical Interpretation

    • Reinhard Kahle

    Book Reviews 02 May 2007 Pages: 419 - 424

11. John Woods, Paradox and Paraconsistency: Conflict Resolution in the Abstract Sciences

    • A. D. Irvine

    OriginalPaper 02 May 2007 Pages: 425 - 428