×
Author ID: stavi.jonathan Recent zbMATH articles by "Stavi, Jonathan"
Published as: Stavi, Jonathan; Stavi, J.

Publications by Year

Citations contained in zbMATH Open

22 Publications have been cited 228 times in 208 Documents Cited by Year
Products of conjugacy classes in groups. Zbl 0561.20004
77
1985
Impartiality, justice and fairness: The ethics of concurrent termination. Zbl 0468.68026
Lehmann, D.; Pnueli, A.; Stavi, J.
69
1981
A semantic characterization of natural language determiners. Zbl 0633.03017
Keenan, Edward L.; Stavi, Jonathan
42
1986
\(\Delta\)-logics and generalized quantifiers. Zbl 0346.02007
Makowsky, J. A.; Shelah, Saharon; Stavi, Jonathan
27
1976
Propositional dynamic logic of nonregular programs. Zbl 0536.68041
Harel, David; Pnueli, Amir; Stavi, Jonathan
24
1983
Reflection principles for the continuum. Zbl 1013.03059
Stavi, Jonathan; Väänänen, Jouko
13
2002
\(L_{\infty\lambda}\)-equivalence, isomorphism and potential isomorphism. Zbl 0381.03024
Nadel, Mark; Stavi, Jonathan
11
1978
Fair termination revisited - with delay. Zbl 0542.68015
Apt, Krysztof R.; Pnueli, A.; Stavi, J.
10
1984
The use of abstract language in elementary metamathematics: Some pedagogic examples. Zbl 0318.02003
Kreisel, Georg; Mints, G. E.; Simpson, S. G.
9
1975
Cofinal extension preserves recursive saturation. Zbl 0467.03059
Smorynski, C.; Stavi, J.
5
1980
On the standard part of nonstandard models of set theory. Zbl 0522.03060
Magidor, Menachem; Shelah, Saharon; Stavi, Jonathan
5
1983
The pure part of \(\text{HYP}(\mathcal M)\). Zbl 0382.03022
Nadel, Mark; Stavi, Jonathan
4
1977
Countably decomposable admissible sets. Zbl 0558.03017
Magidor, Menachem; Shelah, Saharon; Stavi, Jonathan
4
1984
Fair termination revisited - with delay. Zbl 0533.68010
Apt, Krysztof R.; Pnueli, A.; Stavi, J.
3
1982
Extensions of Kripke’s embedding theorem. Zbl 0354.02044
Stavi, Jonathan
2
1975
On models of the elementary theory of \((\mathbb{Z}{},+,1)\). Zbl 0739.03023
Nadel, Mark; Stavi, Jonathan
2
1990
\(\Delta^ 2_ 0\) operators and alternating sentences in arithmetic. Zbl 0458.03022
Manevitz, Larry; Stavi, Jonathan
2
1980
Further results on propositional dynamic logic of nonregular programs. Zbl 0491.68032
Harel, D.; Pnueli, A.; Stavi, J.
1
1982
A converse of the Barwise completeness theorem. Zbl 0308.02015
Stavi, Jonathan
1
1974
On cardinal collapsing with reals. Zbl 0345.02046
Stavi, Jonathan
1
1974
Compactness properties of infinitary and abstract languages. I. General results. Zbl 0448.03022
Stavi, Jonathan
1
1978
On strongly and weakly defined Boolean terms. Zbl 0273.02041
Stavi, Jonathan
1
1973
Reflection principles for the continuum. Zbl 1013.03059
Stavi, Jonathan; Väänänen, Jouko
13
2002
On models of the elementary theory of \((\mathbb{Z}{},+,1)\). Zbl 0739.03023
Nadel, Mark; Stavi, Jonathan
2
1990
A semantic characterization of natural language determiners. Zbl 0633.03017
Keenan, Edward L.; Stavi, Jonathan
42
1986
Products of conjugacy classes in groups. Zbl 0561.20004
77
1985
Fair termination revisited - with delay. Zbl 0542.68015
Apt, Krysztof R.; Pnueli, A.; Stavi, J.
10
1984
Countably decomposable admissible sets. Zbl 0558.03017
Magidor, Menachem; Shelah, Saharon; Stavi, Jonathan
4
1984
Propositional dynamic logic of nonregular programs. Zbl 0536.68041
Harel, David; Pnueli, Amir; Stavi, Jonathan
24
1983
On the standard part of nonstandard models of set theory. Zbl 0522.03060
Magidor, Menachem; Shelah, Saharon; Stavi, Jonathan
5
1983
Fair termination revisited - with delay. Zbl 0533.68010
Apt, Krysztof R.; Pnueli, A.; Stavi, J.
3
1982
Further results on propositional dynamic logic of nonregular programs. Zbl 0491.68032
Harel, D.; Pnueli, A.; Stavi, J.
1
1982
Impartiality, justice and fairness: The ethics of concurrent termination. Zbl 0468.68026
Lehmann, D.; Pnueli, A.; Stavi, J.
69
1981
Cofinal extension preserves recursive saturation. Zbl 0467.03059
Smorynski, C.; Stavi, J.
5
1980
\(\Delta^ 2_ 0\) operators and alternating sentences in arithmetic. Zbl 0458.03022
Manevitz, Larry; Stavi, Jonathan
2
1980
\(L_{\infty\lambda}\)-equivalence, isomorphism and potential isomorphism. Zbl 0381.03024
Nadel, Mark; Stavi, Jonathan
11
1978
Compactness properties of infinitary and abstract languages. I. General results. Zbl 0448.03022
Stavi, Jonathan
1
1978
The pure part of \(\text{HYP}(\mathcal M)\). Zbl 0382.03022
Nadel, Mark; Stavi, Jonathan
4
1977
\(\Delta\)-logics and generalized quantifiers. Zbl 0346.02007
Makowsky, J. A.; Shelah, Saharon; Stavi, Jonathan
27
1976
The use of abstract language in elementary metamathematics: Some pedagogic examples. Zbl 0318.02003
Kreisel, Georg; Mints, G. E.; Simpson, S. G.
9
1975
Extensions of Kripke’s embedding theorem. Zbl 0354.02044
Stavi, Jonathan
2
1975
A converse of the Barwise completeness theorem. Zbl 0308.02015
Stavi, Jonathan
1
1974
On cardinal collapsing with reals. Zbl 0345.02046
Stavi, Jonathan
1
1974
On strongly and weakly defined Boolean terms. Zbl 0273.02041
Stavi, Jonathan
1
1973
all top 5

Cited by 236 Authors

9 Shelah, Saharon
8 Pnueli, Amir
7 Stavi, Jonathan
7 Väänänen, Jouko Antero
5 Hamkins, Joel David
5 Lange, Martin
4 Apt, Krzysztof Rafal
4 Hyttinen, Tapani
4 Katz, Shmuel
4 Keenan, Edward L.
4 Kesten, Yonit
4 Rosier, Louis E.
4 Vardi, Moshe Ya’akov
4 Westerståhl, Dag
4 Yen, Hsuchun
3 Bagaria, Joan
3 Francez, Nissim
3 Friedman, Sy-David
3 Hesselink, Wim H.
3 Howell, Rodney R.
3 Lücke, Philipp Moritz
3 Makowsky, Johann-Andreas
3 Mundici, Daniele
3 Peled, Doron A.
3 Stirling, Colin
3 van Benthem, Johan F. A. K.
2 Baier, Christel
2 Barro, Senén
2 Bianco, Alessandro
2 Bruse, Florian
2 Bugarín, Alberto
2 Costa, Gerardo
2 Díaz-Hermida, Félix
2 Esparza, Javier
2 Faella, Marco
2 Feferman, Solomon
2 Fuchs, Gunter
2 Glöckner, Ingo
2 Grumberg, Orna
2 Halpern, Joseph Yehuda
2 Harel, David
2 Iacona, Andrea
2 Krynicki, Michał Marian
2 Kulikov, Vadim
2 Kwiatkowska, Marta Z.
2 Manna, Zohar
2 Méry, Dominique
2 Mogavero, Fabio
2 Murano, Aniello
2 Nadel, Mark E.
2 Olderog, Ernst-Rüdiger
2 Paterson, Mike S.
2 Priese, Lutz
2 Robaldo, Livio
2 Smith, Stuart T.
2 Speranski, Stanislav O.
2 van Glabbeek, Robert Jan
2 Winter, Yoad
2 Wong, Tin Lok
1 Altman, Alon
1 Alur, Rajeev
1 Anderson, James H.
1 Andréka, Hajnal
1 Barton, Neil
1 Bastiaanse, Harald Andreas
1 Beke, Tibor
1 Ben-Avi, Gilad
1 Ben-Yami, Hanoch
1 Best, Eike
1 Boney, Will
1 Bowler, N. J.
1 Brasoveanu, Adrian
1 Bruns, Glenn
1 Brzoska, Christoph
1 Burkhard, Hans-Dieter
1 Burnett, Heather
1 Cacciagrano, Diletta Romana
1 Caicedo, Andrés Eduardo
1 Cariñena, Purificación
1 Çevik, Ahmet Sinan
1 Ciesinski, Frank
1 Corradini, Flavio
1 Dalgin, Hasan
1 de Alfaro, Luca
1 Dean, Walter
1 Dill, David L.
1 Dong, JinSong
1 Džamonja, Mirna
1 Ebbinghaus, Heinz-Dieter
1 Eklof, Paul C.
1 Enayat, Ali
1 Fauconnier, Hugues
1 Feng, Yulin
1 Fischer, Michael J.
1 Fuchino, Sakaé
1 Gabelaia, David
1 George, Benjamin R.
1 Gerth, Rob Tristan
1 Geschke, Stefan
1 Gierasimczuk, Nina
...and 136 more Authors
all top 5

Cited in 46 Serials

28 Theoretical Computer Science
17 The Journal of Symbolic Logic
17 Annals of Pure and Applied Logic
9 Israel Journal of Mathematics
9 Journal of Computer and System Sciences
9 Information and Computation
7 Information Processing Letters
7 Archive for Mathematical Logic
6 Journal of Philosophical Logic
6 Formal Aspects of Computing
5 Linguistics and Philosophy
4 Archiv für Mathematische Logik und Grundlagenforschung
4 Notre Dame Journal of Formal Logic
4 Studia Logica
4 Journal of Logic, Language and Information
4 The Review of Symbolic Logic
3 Fuzzy Sets and Systems
3 Proceedings of the American Mathematical Society
3 Synthese
3 Transactions of the American Mathematical Society
3 Distributed Computing
3 Journal of Applied Non-Classical Logics
3 Mathematical Logic Quarterly (MLQ)
3 Journal of Applied Logic
2 Acta Informatica
2 Journal of Computer Science and Technology
2 International Journal of Approximate Reasoning
2 The Bulletin of Symbolic Logic
1 Algebra and Logic
1 Duke Mathematical Journal
1 Mathematical Systems Theory
1 Mathematische Zeitschrift
1 Memoirs of the American Mathematical Society
1 History and Philosophy of Logic
1 International Journal of Intelligent Systems
1 Bulletin of the American Mathematical Society. New Series
1 Bulletin of the Polish Academy of Sciences, Mathematics
1 RAIRO. Informatique Théorique et Applications
1 Formal Methods in System Design
1 Topoi
1 The Journal of Logic and Algebraic Programming
1 Computational Intelligence
1
1 Frontiers of Computer Science
1 Nôus
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year