Order:
Order
- Dynamic Logic.Lenore D. Zuck & David Harel - 1989 - Journal of Symbolic Logic 54 (4):1480.details
- 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. [REVIEW]Lenore D. Zuck - 1989 - Journal of Symbolic Logic 54 (4):1480-1481.details
- Review: David Harel, Dynamic Logic. [REVIEW]Lenore D. Zuck - 1989 - Journal of Symbolic Logic 54 (4):1480-1481.details
|
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
|
RSS feed
|
|