J. Tiuryn (tiuryn-j)

Contributions à Philosophie.ch

Bibliography

Harel, David, Kozen, Dexter C. and Tiuryn, J. 2001. “Dynamic Logic.” in Handbook of Philosophical Logic, Volume IV, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 99–218. Dordrecht: Springer. First publication as Harel (1984).
Kozen, Dexter C. and Tiuryn, J. 1990. “Logic of Programs.” in Handbook of Theoretical Computer Science: Formal Models and Semantics, edited by Jan van Leeuven, pp. 789–840. Cambridge, Massachusetts: The MIT Press.

Further References

Harel, David. 1984. “Dynamic Logic.” in Handbook of Philosophical Logic, Volume II: Extensions of Classical Logic, edited by Dov M. Gabbay and Franz Guenthner, pp. 497–604. Synthese Library n. 165. Dordrecht: D. Reidel Publishing Co. Reprinted in revised form as Harel, Kozen and Tiuryn (2001).