•  20
    Saul Kripke has been a major influence on analytic philosophy and allied fields for a half-century and more. His early masterpiece, Naming and Necessity, reversed the pattern of two centuries of philosophizing about the necessary and the contingent. Although much of his work remains unpublished, several major essays have now appeared in print, most recently in his long-awaited collection Philosophical Troubles. In this book Kripke’s long-time colleague, the logician and philosopher John P. Burge…Read more
  •  77
    Decidability for branching time
    Studia Logica 39 (2-3): 203-218. 1980.
    The species of indeterminist tense logic called Peircean by A. N. Prior is proved to be recursively decidable
  •  42
    Beyond tense logic (review)
    Journal of Philosophical Logic 13 (3): 235-248. 1984.
  •  120
    Quinus ab Omni Nævo Vindicatus
    Canadian Journal of Philosophy 27 (sup1): 25-65. 1997.
    Today there appears to be a widespread impression that W. V. Quine's notorious critique of modal logic, based on certain ideas about reference, has been successfully answered. As one writer put it some years ago: “His objections have been dead for a while, even though they have not yet been completely buried.” What is supposed to have killed off the critique? Some would cite the development of a new ‘possible-worlds’ model theory for modal logics in the 1960s; others, the development of new ‘dir…Read more
  •  198
    Why I am not a nominalist
    Notre Dame Journal of Formal Logic 24 (1): 93-105. 1983.