Skip to search formSkip to main contentSkip to account menu
You are currently offline. Some features of the site may not work correctly.

Quantifier (logic)

Known as: Solution quantifier, Quantificational fallacy, Quantifier 
For example, in arithmetic, it allows the expression of the statement that every natural number has a successor. A language element which generates a… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2006
Highly Cited
2006
I. THE LOGICAL CONCEPTION OF QUANTIFIERS AND QUANTIFICATION II. QUANTIFIERS OF NATURAL LANGUAGE III. BEGINNINGS OF A THEORY OF… Expand
Highly Cited
2002
Highly Cited
2002
Temporal logic comes in two varieties: linear-time temporal logic assumes implicit universal quantification over all paths that… Expand
  • figure 1
  • figure 2
  • figure 3
  • table I
Review
2001
Review
2001
This paper reviews observed (1900-2000) and possible future (2000-2100) continent- wide changes in temperature and rainfall for… Expand
  • table 1
  • table 2
  • figure 1
  • figure 2
  • figure 3
Highly Cited
1998
Highly Cited
1998
Preface. 1. Truth-conditional Semantics and the Fregean Program. 2. Executing the Fregean Program. 3. Semantics and Syntax. 4… Expand
Highly Cited
1997
Highly Cited
1997
Temporal logic comes in two varieties: linear-time temporal logic assumes implicit universal quantification over all paths that… Expand
  • figure 1
  • figure 2
Highly Cited
1997
Highly Cited
1997
Publisher Summary This chapter discusses generalized quantifiers in linguistics and logic. The study of generalized quantifiers… Expand
Highly Cited
1994
Highly Cited
1994
We introduce a temporal logic for the specification of real-time systems. Our logic, TPTL, employs a novel quantifier construct… Expand
Highly Cited
1983
Highly Cited
1983
The generic term fuzzy quantifier is employed in this paper to denote the collection of quantifiers in natural languages whose… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1975
Highly Cited
1975
Tarski in 1948, (Tarski 1951) published a quantifier elimination method for the elementary theory of real closed fields (which he… Expand
Highly Cited
1972
Highly Cited
1972
Like other recent work in the field of generative-transformational grammar, this book developed from a realization that many… Expand