Switch to: Citations

Add references

You must login to add references.
  1. Universal grammar.Richard Montague - 1970 - Theoria 36 (3):373--398.
    Download  
     
    Export citation  
     
    Bookmark   321 citations  
  • (1 other version)A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
    Download  
     
    Export citation  
     
    Bookmark   228 citations  
  • (1 other version)Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
    Download  
     
    Export citation  
     
    Bookmark   205 citations  
  • On modal logic with propositional quantifiers.R. A. Bull - 1969 - Journal of Symbolic Logic 34 (2):257-263.
    I am interested in extending modal calculi by adding propositional quantifiers, given by the rules for quantifier introduction: provided that p does not occur free in A.
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • Classical intensional logics.M. J. Cresswell - 1970 - Theoria 36 (3):347-372.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • Intensional logics and logical truth.M. J. Cresswell - 1972 - Journal of Philosophical Logic 1 (1):2 - 15.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Enumerability, Decidability, Computability.H. Hermes - 1965
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • A completeness theorem in second order modal logic.Nino B. Cocchiarella - 1969 - Theoria 35 (2):81-103.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • (1 other version)Banishing the rule of substitution for functional variables.Leon Henkin - 1953 - Journal of Symbolic Logic 18 (3):201-208.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Propositional identity.M. J. Cresswell - 1967 - Logique Et Analyse 40:283-291.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • A second order logic of existence.Nino B. Cocchiarella - 1969 - Journal of Symbolic Logic 34 (1):57-69.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Functions of propositions.M. J. Cresswell - 1966 - Journal of Symbolic Logic 31 (4):545-560.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • The completeness of S0. 5.M. Cresswell - 1966 - Logique Et Analyse 9:263-6.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • The decidability and semantical incompleteness of Lemmon's system S0. 5.Richard Routley - 1968 - Logique Et Analyse 11:413-421.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Note on the interpretation of S0. 5.M. J. Cresswell - 1970 - Logique Et Analyse 13:376-378.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • On the logic of incomplete answers.M. J. Cresswell - 1965 - Journal of Symbolic Logic 30 (1):65-68.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
    • Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

    CDP Phiosophy Documentation Center
    PhilPapers logo by Andrea Andrews and Meghan Driscoll.
    This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

    Use of this site is subject to terms & conditions.
    All rights reserved by The PhilPapers Foundation

    Server: philpapers-web-7f8ff5d46-qj788 uwo