Second-order quantifiers and the complexity of theories
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
(no proxy)My notes
Similar books and articles
Book review: S. Shelah. Classification theory and the number of non-isomorhic models. [REVIEW]Steven Buechler -1991 -Notre Dame Journal of Formal Logic 33 (1):154-158.
Nominalism and conceptualism as predicative second-order theories of predication.Nino Cocchiarella -1980 -Notre Dame Journal of Formal Logic 21 (3):481-500.
John T. Kearns. Quantifiers and universal validity. Logique et analyse, n.s. vol. 9 , pp. 298–309. - George Goe. A reconstruction of formal logic. Notre Dame journal of formal logic, vol. 7 , pp. 129–157. - George Goe. Corrections to my paper “A reconstruction of formal logic.”Notre Dame journal of formal logic, vol. 7 , p. 158. [REVIEW]Theodore Hailperin -1968 -Journal of Symbolic Logic 33 (1):137-138.
On propositional quantifiers in provability logic.Sergei N. Artemov &Lev D. Beklemishev -1993 -Notre Dame Journal of Formal Logic 34 (3):401-419.
Algebraic logic with generalized quantifiers.Charles C. Pinter -1975 -Notre Dame Journal of Formal Logic 16 (4):511-516.
Modal trees for ${\rm T}$ and ${\rm S}5$.B. Davidson,F. C. Jackson &R. Pargetter -1977 -Notre Dame Journal of Formal Logic 18 (4):602-606.
Some Results on Quantifiers.Dag Westerståhl -1984 -Notre Dame Journal of Formal Logic 25 (2):152--169.
Cresswell M. J.. A Henkin completeness theorem for T. Notre Dame journal of formal logic, vol. 8 no. 3 , pp. 186–190.Cresswell M. J.. Alternative completeness theorems for modal systems. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 339–345.Cresswell M. J.. Some proofs of relative completeness in modal logic. Notre Dame journal of formal logic, vol. 9 no. 1 , pp. 62–66. [REVIEW]David Makinson -1970 -Journal of Symbolic Logic 35 (4):581-582.
Syllogisms with statistical quantifiers.Bruce E. R. Thompson -1986 -Notre Dame Journal of Formal Logic 27 (1):93-103.
Analytics
Added to PP
2010-08-24
Downloads
34 (#740,399)
6 months
1 (#1,600,438)
2010-08-24
Downloads
34 (#740,399)
6 months
1 (#1,600,438)
Historical graph of downloads
How can I increase my downloads?Author's Profile
Citations of this work
Toward classifying unstable theories.Saharon Shelah -1996 -Annals of Pure and Applied Logic 80 (3):229-255.
Mutually algebraic structures and expansions by predicates.Michael C. Laskowski -2013 -Journal of Symbolic Logic 78 (1):185-194.
A model-theoretic characterisation of clique width.Achim Blumensath -2006 -Annals of Pure and Applied Logic 142 (1):321-350.
Planar Graphs with Separation Are dp-Minimal.Javier de la Nuez González -2025 -Notre Dame Journal of Formal Logic 66 (1):57-78.
Trivial pursuit: Remarks on the main gap.John T. Baldwin &Leo Harrington -1987 -Annals of Pure and Applied Logic 34 (3):209-230.
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation
Server: philpapers-web-54b44b69b7-vb4rf uwo