Switch to: References

Add citations

You must login to add citations.
  1. Where have all the Californian tense-logicians gone?Woosuk Park - 2016 - Synthese 193 (11):3701-3712.
    Arthur N. Prior, in the Preface of Past, Present and Future, made clear his indebtedness to “the very lively tense-logicians of California for many discussions”. Strangely,with a notable exception of Copeland, there is no extensive discussion of these scholars in the literature on the history of tense logic. In this paper, I propose to study how Nino B. Cocchiarella, as one of the Californian tense-logicians, interacted with Prior in the late 1960s. By gathering clues from their correspondence available at Virtual (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A completeness theorem in second order modal logic.Nino B. Cocchiarella - 1969 - Theoria 35 (2):81-103.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • A second order logic of existence.Nino B. Cocchiarella - 1969 - Journal of Symbolic Logic 34 (1):57-69.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Definite descriptions.Charles B. Daniels - 1990 - Studia Logica 49 (1):87 - 104.
    Three views on definite descriptions are summarized and discussed, including that of P. F. Strawson in which reference failure results in lack of truth value. When reference failure is allowed, a problem arises concerning Universal Instantiation. Van Fraassen solves the problem by the use of supervaluations, preserving as well such theorems as a=a, and Fa or ~Fa, even when the term a fails to refer. In the present paper a form of relevant, quasi-analytic implication is set out which allows reference (...)
    Download  
     
    Export citation  
     
    Bookmark