Temporal logic of actions Modal μ-calculus David Harel, Dexter Kozen, and Jerzy Tiuryn, "Dynamic Logic". MIT Press, 2000 (450 pp). Nicolas Troquard and Philippe...

Cambridge University Press ISBN 978-0-521-76268-7 David Harel, Dexter Kozen, Jerzy Tiuryn, Dynamic logic, MIT Press, 2000, ISBN 0-262-08289-6, p. 6ff...

fair shares to everybody, Norton 1999. David Harel, Dexter Kozen and Jerzy Tiuryn, Dynamic Logic, MIT Press, 2000. Michael Chwe, Rational ritual : culture...

1007/978-3-319-16694-0. ISBN 978-3-319-16693-3. David Harel; Dexter Kozen; Jerzy Tiuryn (2000). Dynamic Logic. MIT Press. ISBN 978-0262082891. Lutz, Carsten...

Publications. Vol. 2. Warszawa: PWN. pp. 7–99. Harel, David; Kozen, Dexter; Tiuryn, Jerzy (2000). Dynamic Logic. Cambridge Massachusetts: MIT Press. pp. 459....

Cornell University. Retrieved 2024-07-25. Harel, David; Kozen, Dexter; Tiuryn, Jerzy (2000). Dynamic Logic. Cambridge, MA: MIT Press. ISBN 978-026227-495-1...

ISBN 978-981-4719-95-7. Pudlák, Pavel; Buss, Samuel R. (1995). Pacholski, Leszek; Tiuryn, Jerzy (eds.). "How to lie without being (easily) convicted and the lengths...

ISBN 978-0-521-45205-2. Pudlák, Pavel; Buss, Samuel R. (1995). Pacholski, Leszek; Tiuryn, Jerzy (eds.). "How to lie without being (easily) convicted and the lengths...

report). Edinburgh University. Retrieved 30 September 2022. Jung, Achim; Tiuryn, Jerzy (1993). "A new characterization of lambda definability". Typed Lambda...

to Gentzen-Style Sequent Calculus Structure", in Pacholski, Leszek; Tiuryn, Jerzy (eds.), Computer Science Logic, 8th International Workshop, CSL '94...