English Formal semantics (natural language) Cited by user Botterweg14 on 08 Feb 2021 Formal semantics is the study of grammatical meaning in natural languages using formal tools from logic and theoretical computer science.
English Generalized quantifier Cited by user FrogFlint on 05 Jan 2021 In formal semantics, a generalized quantifier (GQ) is an expression that denotes a set of sets.