1 results
David Harel. Dynamic logic. Handbook of philosophical logic, Volume II, Extensions of classical logic , edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984., pp. 497–604.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1480-1481
- Print publication:
- December 1989
-
- Article
- Export citation