Generalized Quantifiers, an Introduction Export

@inproceedings{Vaa97, abstract = {We review recent work in the field of generalized quantifiers on finite models. We give an idea of the methods that are available in this area. Main emphasis is on definability issues, such as whether there is a logic for the PTIME properties of unordered finite models.}, author = {V\"{a}\"{a}n\"{a}nen, Jouko}, booktitle = {ESSLLI: European Summer School in Logic, Language, and Information, ESSLLI Workshop}, citeulike-article-id = {2723771}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.8055}, keywords = {complexity, computational, descriptive, finite, generalized, models, quantifiers}, posted-at = {2008-04-27 12:58:58}, priority = {0}, publisher = {LNCS}, series = {Lecture Notes in Computer Science}, title = {Generalized Quantifiers, an Introduction}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.8055}, volume = {1754}, year = {1997} }

TY - CONF ID - Vaa97 L3 - citeulike-article-id:2723771 N2 - We review recent work in the field of generalized quantifiers on finite models. We give an idea of the methods that are available in this area. Main emphasis is on definability issues, such as whether there is a logic for the PTIME properties of unordered finite models. SE - Lecture Notes in Computer Science TI - Generalized Quantifiers, an Introduction PB - LNCS VL - 1754 T2 - ESSLLI: European Summer School in Logic, Language, and Information, ESSLLI Workshop KW - complexity KW - computational KW - descriptive KW - finite KW - generalized KW - models KW - quantifiers AU - Väänänen, Jouko PY - 1997/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.8055 ER -