Goldblatt, Robert Equational logic of polynomial coalgebras. (English) Zbl 1083.03056 Balbiani, Philippe (ed.) et al., Advances in modal logic. Vol. 4. Selected papers from the 4th conference (AiML 2002), Toulouse, France, October 2002. London: King’s College Publications (ISBN 0-9543006-1-0/pbk; 0-9543006-2-9/hbk). 149-184 (2003). MSC: 03G30 68Q85 68Q65 18C50 03B45 08A70 PDFBibTeX XMLCite \textit{R. Goldblatt}, in: Advances in modal logic. Vol. 4. Selected papers from the 4th conference (AiML 2002), Toulouse, France, October 2002. London: King's College Publications. 149--184 (2003; Zbl 1083.03056)
Goldblatt, Robert Enlargements of polynomial coalgebras. (English) Zbl 1052.03013 Downey, Rod (ed.) et al., Proceedings of the the 7th and 8th Asian logic conference. Proceedings of the ICM 2002 satellite conferences on mathematical logic, Hsi-Tou, Taiwan, June 6–10, 1999 and Chongqing, China, August 29–September 2, 2002. River Edge, NJ: World Scientific (ISBN 981-238-261-5/hbk). 152-192 (2003). Reviewer: Yuri Movsisyan (Yerevan) MSC: 03C05 08A70 03G30 18C05 18C10 PDFBibTeX XMLCite \textit{R. Goldblatt}, in: Proceedings of the the 7th and 8th Asian logic conference. Proceedings of the ICM 2002 satellite conferences on mathematical logic, Hsi-Tou, Taiwan, June 6--10, 1999 and Chongqing, China, August 29--September 2, 2002. River Edge, NJ: World Scientific. 152--192 (2003; Zbl 1052.03013)
Goldblatt, Robert Observational ultraproducts of polynomial coalgebras. (English) Zbl 1037.03034 Ann. Pure Appl. Logic 123, No. 1-3, 235-290 (2003). Reviewer: Michel Eytan (Strasbourg) MSC: 03C05 03B70 03C20 18C50 68Q65 68Q85 08A70 PDFBibTeX XMLCite \textit{R. Goldblatt}, Ann. Pure Appl. Logic 123, No. 1--3, 235--290 (2003; Zbl 1037.03034) Full Text: DOI
Goldblatt, Robert An algebraic study of well-foundedness. (English) Zbl 0611.03030 Stud. Log. 44, 423-437 (1985). MSC: 03G05 03B45 03C05 PDFBibTeX XMLCite \textit{R. Goldblatt}, Stud. Log. 44, 423--437 (1985; Zbl 0611.03030) Full Text: DOI
Goldblatt, Robert Axiomatising the logic of computer programming. (English) Zbl 0474.68045 Lecture Notes in Computer Science, 130. Berlin-Heidelberg-New York: Springer-Verlag. XI, 304 p. DM 32.80; $ 14.60 (1982). MSC: 68Q65 68Q60 68N01 68-02 03B45 PDFBibTeX XML