Natural Language Semantics · 1996 · 230 citations · 7 references
Formal SemanticsSyntaxPartial PredicatesEngineeringAutomated ReasoningClassical LogicFormal MethodsFirst-order LogicLanguage StudiesSemanticsHigher-order LogicLinguisticsLogical Formalism
7
Barbara H. Partee · Linguistics and Philosophy · 1984 · 810 citations
Nirit Kadmon · Linguistics and Philosophy · 1990 · 150 citations
Focus and Presupposition in Dynamic Interpretation
Manfred Krifka · Journal of Semantics · 1993 · 101 citations