Skip to search formSkip to main content
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
Is this relevant?
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
Is this relevant?
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
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Preface. 1. Propositional Modal Logic. 2. Tableau Proof Systems. 3. Axiom Systems. 4. Quantified Modal Logic. 5. First-Order… Expand
Is this relevant?
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
Is this relevant?
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
Is this relevant?
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
Is this relevant?
Highly Cited
1979
Highly Cited
1979
A method for combining decision procedures for several theories into a single decision procedure for their combination is… Expand
Is this relevant?
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
Is this relevant?
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
Is this relevant?