generalized quantifier theory
GPTKB entity
Statements (23)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:logic
linguistic theory logical theory |
gptkbp:appliesTo |
gptkb:language
|
gptkbp:concerns |
quantifiers
|
gptkbp:describes |
quantificational expressions
|
gptkbp:developedBy |
gptkb:Dag_Westerståhl
gptkb:Dag_Westerstahl gptkb:Stanley_Peters gptkb:Peter_Gärdenfors |
gptkbp:field |
gptkb:logic
semantics |
gptkbp:formalizes |
quantifier meanings
|
https://www.w3.org/2000/01/rdf-schema#label |
generalized quantifier theory
|
gptkbp:influencedBy |
gptkb:set_theory
predicate logic |
gptkbp:introducedIn |
1970s
|
gptkbp:relatedTo |
gptkb:Montague_grammar
formal semantics model theory |
gptkbp:studies |
expressions like 'some', 'all', 'most', 'few'
|
gptkbp:bfsParent |
gptkb:Henkin_quantifier
|
gptkbp:bfsLayer |
6
|