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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
We introduce generalized quantifiers, as defined in Tarskian semantics by Mostowski and Lindström, in logics using the Hodges… (More)
Is this relevant?
2012
2012
We describe an algorithm (VQE) for a variant of the real quantifier elimination problem (QE). The variant problem requires the… (More)
Is this relevant?
Highly Cited
2009
Highly Cited
2009
A progress report is presented on a selection of scientific, technological and commercial advances in the biomedical applications… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
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… (More)
Is this relevant?
Highly Cited
1992
Highly Cited
1992
An algorithm is presented which eliminates second–order quantifiers over predicate variables in formulae of type ∃P1, . . . , Pn… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
The Cylindrical Algebraic Decomposition method (CAD) decomposes R r into regions over which given polynomials have constant signs… (More)
  • figure 9
  • table 1
Is this relevant?
Highly Cited
1991
Highly Cited
1991
3 A Meta-Logic for Unification 4 3.1 A First-Order Unification Logic with Quantifier Dependencies . . . . . . . . . . . . . 5 3.2… (More)
Is this relevant?
Highly Cited
1989
Highly Cited
1989
We introduce a temporal logic for the specification of real-time systems. Our logic, TPTL, employs a novel quantifier construct… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
The differences between and appropriateness of branching versus linear time temporal logic for reasoning about concurrent… (More)
  • figure 2
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
1976
Highly Cited
1976
This is a brief summary and exposition of the paper "Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic… (More)
Is this relevant?