Jonathan Stavi

Bar-Ilan University — Israel

Mathematics · Physical Sciences

12h-index2.1kcitations28works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Advanced Topology and Set Theory(10), Advanced Algebra and Logic(10), Logic, Reasoning, and Knowledge(9), Logic, programming, and type systems(8), Formal Methods in Verification(6)

Publications28 total

Further results on propositional dynamic logic of nonregular programs
Lecture notes in computer science·2005· 7 cited
Reflection principles for the continuum
Contemporary mathematics - American Mathematical Society·2002· 26 cited
On models of the elementary theory of (Z, +, 1)
Journal of Symbolic Logic·1990· 5 cited
A semantic characterization of natural language determiners
Linguistics and Philosophy·1986· 620 cited
The structure of $ω_1$-like orderings
Fundamenta Mathematicae·1986Open Access
Powers and products of conjugacy classes in groups
Lecture notes in mathematics·1985· 51 cited
Countably decomposable admissible sets
Annals of Pure and Applied Logic·1984· 8 cited
Fair termination revisited—with delay
Theoretical Computer Science·1984· 37 cited
Propositional dynamic logic of nonregular programs
Journal of Computer and System Sciences·1983· 98 cited
On the standard part of nonstandard models of set theory
Journal of Symbolic Logic·1983· 8 cited
Propositional dynamic logic of context-free programs
1981· 13 cited
Impartiality, justice and fairness: The ethics of concurrent termination
Lecture notes in computer science·1981· 283 cited
operators and alternating sentences in arithmetic
Journal of Symbolic Logic·1980· 6 cited
Cofinal extension preserves recursive saturation
Lecture notes in mathematics·1980· 17 cited
02 operators and alternating sentences in arithmetic
1980
On the temporal analysis of fairness
1980· 726 cited
L ∞λ -Equivalence, Isomorphism and Potential Isomorphism
Transactions of the American Mathematical Society·1978· 8 cited
𝐿_{∞}_{𝜆}-equivalence, isomorphism and potential isomorphism
Transactions of the American Mathematical Society·1978· 41 citedOpen Access
The pure part of HYP(ℳ)
Journal of Symbolic Logic·1977· 7 cited
A complete axiomatic system for proving deductions about recursive programs
1977· 25 citedOpen Access
page 1 of 2Next →

Frequent Co-authors

Amir Pnueli(6), Saharon Shelah(4), David Harel(4), Mark Nadel(3), Menachem Magidor(2), Mark S. Nadel(2), Larry M. Manevitz(2), Dov M. Gabbay(1), Edward L. Keenan(1), Daniel Lehmann(1), Johann A. Makowsky(1), Zvi Arad(1), Marcel Herzog(1), Krzysztof R. Apt(1), Jouko Väänánen(1), Amir Puneli(1), C. Smoryński(1), Victor Harnik(1)