Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Tiuryn,J., An introduction to first-order dynamic logic. Research report, Washington State University, Pullman, 1984.
2. Harel, D., First-order dynamic logic, LNCS 68, Springer-Verlag, Berlin, 1979.
3. Urzyczyn,P., Logics of programs with boolean memory, Fundamenta Informaticae, 11, N 1 (1988).
4. Urzyczyn,P., Private communications, 1987.
5. Harel,D., and Peleg,D., On static logic, dynamic logic and complexity classes, Inform. Control, 60, 1984.