Higher-Order Logic

This publication has 21 references indexed in Scilit:

• Generalized quantifiers and natural language
  Linguistics and Philosophy, 1981
• Isomorphism and higher order equivalence
  Annals of Mathematical Logic, 1979
• On branching quantifiers in English
  Journal of Philosophical Logic, 1979
• Stationary logic
  Annals of Mathematical Logic, 1978
• An introduction to recursively saturated and resplendent models
  The Journal of Symbolic Logic, 1976
• Admissible Sets and Structures
  Published by Springer Nature ,1975
• The Hanf number of second order logic
  The Journal of Symbolic Logic, 1972
• Finite Partially‐Ordered Quantifiers
  Mathematical Logic Quarterly, 1970
• Completeness in the theory of types
  The Journal of Symbolic Logic, 1950
• A formulation of the simple theory of types
  The Journal of Symbolic Logic, 1940