The Boxdot Conjecture and the Language of Essence and Accident
Christopher Steinsvold · The Australasian Journal of Logic · 2011
We show the Boxdot Conjecture holds for a limited but familiar range of Lemmon-Scott axioms. We re-introduce the language of essence and accident, first introduced by J. Marcos, and show how it aids our strategy.