Harel David. Dynamic logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by Gabbay D. and Guenthner F., Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984., pp. 497–604.
Zuck, Lenore D.Volume:
54
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.1017/S0022481200041244
Date:
December, 1989
File:
PDF, 1.19 MB
english, 1989