A generalized quantifier concept in computational complexity theory
In Generalized Quantifiers and Computation (Aix-En-Provence, 1997). Springer (1999)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | bibtex-import quantifiers | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesJakub Szymanik (2010). Computational Complexity of Polyadic Lifts of Generalized Quantifiers in Natural Language. Linguistics and Philosophy 33 (3):215-250.
Marcin Mostowski (1998). Computational Semantics for Monadic Quantifiers. Journal of Applied Non--Classical Logics 8:107--121.
K. Luosto (1999). Ramsey Theory is Needed for Solving Definability Problems of Generalized Quantifiers. 1754:121--134.
Juha Kontinen & Jakub Szymanik (2011). Characterizing Definability of Second-Order Generalized Quantifiers. In L. Beklemishev & R. de Queiroz (eds.), Proceedings of the 18th Workshop on Logic, Language, Information and Computation, Lecture Notes in Artificial Intelligence 6642. Springer.
M. Mostowski (1991). Arithmetic with the Henkin Quantifier and its Generalizations. In F. Gaillard & D. Richard (eds.), Seminaire du Laboratoire Logique, Algorithmique Et Informatique Clermontois.
Marcin Mostowski & Jakub Szymanik (2007). Computational Complexity of Some Ramsey Quantifiers in Finite Models. The Bulletin of Symbolic Logic 13:281--282.
Jaakko Hintikka (1974). Quantifiers Vs. Quantificational Theory. Linguistic Inquiry 5:153--77.
A. Macintyre (1980). Ramsey Quantifiers in Arithmetic. In L. Pacholski, J. Wierzejewski & A. J. Wilkie (eds.), Model Theory of Algebra and Arithmetics. Springer--Verlag.
C. T. Mcmillan, R. Clark, P. Moore, C. Devita & M. Grossman (2005). Neural Basis for Generalized Quantifiers Comprehension. Neuropsychologia 43:1729--1737.
Per Lindström (1966). First Order Predicate Logic with Generalized Quantifiers. Theoria 32:186--195.
E. Stenius (1976). Comments on Jaakko Hintikka's Paper 'Quantifiers Vs. Quantification Theory'. Dialectica 30:67--88.
M. Krynicki & M. Mostowski (1995). Henkin Quantifiers. In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers.
M. Mostowski (1995). Quantifiers Definable by Second Order Means. In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers.
M. Krynicki & M. Mostowski (1995). Quantifiers, Some Problems and Ideas. In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers.
N. Immerman (1999). Descriptive Complexity. Springer Verlag.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2012-03-18Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
