J
Jonathan Stavi
Researcher at Bar-Ilan University
Publications - 19
Citations - 1489
Jonathan Stavi is an academic researcher from Bar-Ilan University. The author has contributed to research in topics: Dynamic logic (modal logic) & Stone's representation theorem for Boolean algebras. The author has an hindex of 9, co-authored 19 publications receiving 1468 citations. Previous affiliations of Jonathan Stavi include Hebrew University of Jerusalem.
Papers
More filters
Proceedings ArticleDOI
On the temporal analysis of fairness
TL;DR: It is shown that with the addition of the 'until' operator -U the temporal language becomes expressively complete and two deductive systems DX and DUX are proved to be complete for the languages without and with the new operator respectively.
Book ChapterDOI
Impartiality, Justice and Fairness: The Ethics of Concurrent Termination
TL;DR: The method of well founded structures for proving termination of programs is extended to concurrent programs and different versions of fairness are introduced: Impartiality, Fairness and Justice.
Journal ArticleDOI
Propositional dynamic logic of nonregular programs
TL;DR: The results in this paper indicate that the borderline between decidable and undecidable propositional dynamic Logic (PDL) is extremely close to the original regular PDL, and the versions of PDL which are show to be beyond this borderline are shown to be actually very highly Undecidable.
Journal ArticleDOI