1. Identical Twins, Deduction Theorems, and Pattern Functions: Exploring the Implicative BCSK Fragment of S5

   • Lloyd Humberstone

   OriginalPaper 21 March 2006 Pages: 435 - 487

2. New Foundations for a Relational Theory of Theory-revision

   • Neil Tennant

   OriginalPaper 19 April 2006 Pages: 489 - 528

3. A Note on Priest's Finite Inconsistent Arithmetics

   • J. B. Paris
   • N. Pathmanathan

   OriginalPaper 22 April 2006 Pages: 529 - 537