# Quantifier (logic)

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2012

2012

- Journal of Logic, Language and Information
- 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

- J. Symb. Comput.
- 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

- 2009

A progress report is presented on a selection of scientific, technological and commercial advances in the biomedical applications… (More)

Is this relevant?

Highly Cited

1997

Highly Cited

1997

- COMPOS
- 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

- KR
- 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

- J. Symb. Comput.
- 1991

The Cylindrical Algebraic Decomposition method (CAD) decomposes R r into regions over which given polynomials have constant signs… (More)

Is this relevant?

Highly Cited

1991

Highly Cited

1991

- 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

- J. ACM
- 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

- J. ACM
- 1986

The differences between and appropriateness of branching versus linear time temporal logic for reasoning about concurrent… (More)

Is this relevant?

Highly Cited

1976

Highly Cited

1976

- ACM SIGSAM Bulletin
- 1976

This is a brief summary and exposition of the paper "Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic… (More)

Is this relevant?