Jonathan Stavi

On the temporal analysis of fairness

Dov M. Gabbay, Amir Pnueli, Saharon Shelah et al. · 1980 · 731 citations

Computing, Computer Science, Formal Methods +12

A semantic characterization of natural language determiners

Edward L. Keenan, Jonathan Stavi · Linguistics and Philosophy · 1986 · 626 citations

Computing, Computer Science, Linguistics +14

Propositional dynamic logic of nonregular programs

David Harel, Amir Pnueli, Jonathan Stavi · Journal of Computer and System Sciences · 1983 · 98 citations

Computing, Computer Science, Mathematics +12

δ-Logics and generalized quantifiers

Johann A. Makowsky, Saharon Shelah, Jonathan Stavi · Annals of Mathematical Logic · 1976 · 71 citations

Humanities, Computer Science, Logic +10

𝐿_{∞}_{𝜆}-equivalence, isomorphism and potential isomorphism

Mark Nadel, Jonathan Stavi · Transactions of the American Mathematical Society · 1978 · 41 citations · Full text

Natural Sciences, Mathematics, Representation Theory +7