Steps Toward a Computational Metaphysics Branden FitelsonEdward N. Zalta OriginalPaper 15 February 2007 Pages: 227 - 247
Identical Twins, Deduction Theorems, and Pattern Functions: Exploring the Implicative BCSK Fragment of S5 Lloyd Humberstone Erratum 02 March 2007 Pages: 249 - 249