Switch to: Citations

Add references

You must login to add references.
  1. Definability hierarchies of general quantifiers.Lauri Hella - 1989 - Annals of Pure and Applied Logic 43 (3):235.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • Henkin Quantifiers and Complete Problems.Andreas Blass & Yuri Gurevich - 1986 - Annals of Pure and Applied Logic 32:1--16.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • Finite partially-ordered quantification.Wilbur John Walkoe - 1970 - Journal of Symbolic Logic 35 (4):535-555.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • On extensions of $L{\omega \omega }(Q1)$.Xavier Caicedo - 1981 - Notre Dame Journal of Formal Logic 22 (1):85-93.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Finite partially-ordered quantification.Wilbur John Walkoe Jr - 1970 - Journal of Symbolic Logic 35 (4):535-555.
    Download  
     
    Export citation  
     
    Bookmark   70 citations  
  • First order predicate logic with generalized quantifiers.Per Lindström - 1966 - Theoria 32 (3):186--195.
    Download  
     
    Export citation  
     
    Bookmark   179 citations  
  • On the semantics of the Henkin quantifier.Michał Krynicki & Alistair H. Lachlan - 1979 - Journal of Symbolic Logic 44 (2):184-200.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • On Some Applications of Games for Härtig Quantifier.Michal Krynicki - 1987 - Mathematical Logic Quarterly 33 (4):359-370.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • On Some Applications of Games for Härtig Quantifier.Michal Krynicki - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (4):359-370.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Some remarks on infinitely long formulas.L. Henkin - 1961 - Journal of Symbolic Logic 30 (1):167--183.
    Download  
     
    Export citation  
     
    Bookmark   102 citations  
  • Finite Partially‐Ordered Quantifiers.Herbert B. Enderton - 1970 - Mathematical Logic Quarterly 16 (8):393-397.
    Download  
     
    Export citation  
     
    Bookmark   54 citations  
  • The Henkin Quantifier and Real Closed Fields.John R. Cowles - 1981 - Mathematical Logic Quarterly 27 (31‐35):549-555.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Henkin Quantifier and Real Closed Fields.John R. Cowles - 1981 - Mathematical Logic Quarterly 27 (31-35):549-555.
    Download  
     
    Export citation  
     
    Bookmark   2 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-8fb5884b9-srv9n uwo