A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is
Journal of Philosophical Logic, forthcoming. Final publication available at www.springerlink.com. Abstract It has been claimed that counterpart theory cannot support a theory of actuality without rendering obviously invalid formulas valid or obviously valid formulas invalid. We argue that these claims are not based on logical flaws of counterpart theory itself, but point to the lack of appropriate devices in first-order logic for "remembering" the values of variables. We formulate a mildlydoi:10.1007/s10992-012-9248-0 fatcat:kyau36tggrdu7pu7iznimsq4aa