Robert Goldblatt

Vaughan R. Pratt. Semantical considerations on Floyd–Hoare logic. 17th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, New York1976, pp. 109–121. - Michael J. Fischer and Richard E. Ladner. Propositional dynamic logic of regular programs. Journal of computer and system sciences, vol. 18 (1979), pp. 194–211. - Krister Segerberg. A completeness theorem in the modal logic of programs. Universal algebra and applications. Papers presented at Stefan Banach International Mathematical Center at the semester “Universal algebra and applications” held February 15–June 9, 1978, edited by Tadeuz Traczyk, Banach Center Publications, vol. 9, PWN—Polish Scientific Publishers, Warsaw1982, pp. 31–46. - Rohit Parikh. The completeness of propositional dynamic logic. Mathematical foundations of computer science 1978, Proceedings, 7th symposium, Zakopane, Poland, September 4–8, 1978, edited by J. Winkowski, Lecture notes in computer science, vol. 64, Springer-Verlag, Berlin, Heidelberg, and New York, 1978, pp. 403–415. - Dexter Kozen and Rohit Parikh. An elementary proof of the completeness of PDL. Theoretical computer science, vol. 14(1981), pp. 113–118.

Robert Goldblatt · Journal of Symbolic Logic · 1986 · 429 citations

Varieties of complex algebras

Robert Goldblatt · Annals of Pure and Applied Logic · 1989 · 289 citations

Modern Algebra, Algebraic Structure, Complex Algebras +1

Semantic analysis of orthologic

Robert Goldblatt · Journal of Philosophical Logic · 1974 · 273 citations

Applied Linguistics, Syntax, Computational Linguistics +6

Mathematical modal logic: A view of its evolution

Robert Goldblatt · Journal of Applied Logic · 2003 · 150 citations

Substructural Logic, Automated Reasoning, Classical Logic +2

Metamathematics of modal logic

Robert Goldblatt · Bulletin of the Australian Mathematical Society · 1974 · 144 citations · Full text

Substructural Logic, Automated Reasoning, Classical Logic +3