Skip to search formSkip to main content

You are currently offline. Some features of the site may not work correctly.

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

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

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

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?