Switch to: Citations

Add references

You must login to add references.
  1. (2 other versions)Languages with Expressions of Infinite Length.William P. Hanf - 1964 - Journal of Symbolic Logic 33 (3):477-478.
    Download  
     
    Export citation  
     
    Bookmark   45 citations  
  • (1 other version)Infinitary logic and admissible sets.Jon Barwise - 1969 - Journal of Symbolic Logic 34 (2):226-252.
    In recent years much effort has gone into the study of languages which strengthen the classical first-order predicate calculus in various ways. This effort has been motivated by the desire to find a language which is(I) strong enough to express interesting properties not expressible by the classical language, but(II) still simple enough to yield interesting general results. Languages investigated include second-order logic, weak second-order logic, ω-logic, languages with generalized quantifiers, and infinitary logic.
    Download  
     
    Export citation  
     
    Bookmark   52 citations