| |
| 2006 | ||
|---|---|---|
| 28 | EE | Robert Goldblatt: A Kripke-Joyal Semantics for Noncommutative Logic in Quantales. Advances in Modal Logic 2006: 209-225 |
| 27 | EE | Robert Goldblatt, Edwin D. Mares: A General Semantics for Quantified Modal Logic. Advances in Modal Logic 2006: 227-246 |
| 26 | EE | Rodney G. Downey, Robert Goldblatt: Foreword. Ann. Pure Appl. Logic 138(1-3): 1- (2006) |
| 25 | EE | Robert Goldblatt: Final coalgebras and the Hennessy-Milner property. Ann. Pure Appl. Logic 138(1-3): 77-93 (2006) |
| 24 | EE | Robert Goldblatt: Maps and Monads for Modal Frames. Studia Logica 83(1-3): 309-331 (2006) |
| 23 | EE | David Friggens, Robert Goldblatt: A modal proof theory for final polynomial coalgebras. Theor. Comput. Sci. 360(1-3): 1-22 (2006) |
| 2005 | ||
| 22 | EE | Ranald Clouston, Robert Goldblatt: Covarieties of Coalgebras: Comonads and Coequations. ICTAC 2005: 288-302 |
| 21 | EE | Robert Goldblatt: Axiomatic Classes of Intuitionistic Models. J. UCS 11(12): 1945-1962 (2005) |
| 20 | EE | Robert Goldblatt: A comonadic account of behavioural covarieties of coalgebras. Mathematical Structures in Computer Science 15(2): 243-269 (2005) |
| 2004 | ||
| 19 | EE | Robert Goldblatt, Ian M. Hodkinson, Yde Venema: Erdös graphs resolve Fine's canonicity problem. Bulletin of Symbolic Logic 10(2): 186-208 (2004) |
| 2003 | ||
| 18 | EE | Robert Goldblatt: Observational ultraproducts of polynomial coalgebras. Ann. Pure Appl. Logic 123(1-3): 235-290 (2003) |
| 17 | EE | Robert Goldblatt: Mathematical modal logic: A view of its evolution. J. Applied Logic 1(5-6): 309-392 (2003) |
| 2002 | ||
| 16 | Robert Goldblatt: Equational Logic of Polynomial Coalgebras. Advances in Modal Logic 2002: 149-184 | |
| 2001 | ||
| 15 | EE | Robert Goldblatt: A Calculus of Terms for Coalgebras of Polynomial Functors. Electr. Notes Theor. Comput. Sci. 44(1): (2001) |
| 14 | Robert Goldblatt: Quasi-Modal Equivalence of Canonical Structures. J. Symb. Log. 66(2): 497-508 (2001) | |
| 13 | Robert Goldblatt: Persistence and Atomic Generation for Varieties of Boolean Algebras with Operators. Studia Logica 68(2): 155-171 (2001) | |
| 12 | EE | Robert Goldblatt: What is the coalgebraic analogue of Birkhoff's variety theorem? Theor. Comput. Sci. 266(1-2): 853-886 (2001) |
| 2000 | ||
| 11 | EE | Robert Goldblatt: Algebraic Polymodal Logic: A Survey. Logic Journal of the IGPL 8(4): (2000) |
| 1999 | ||
| 10 | Antonino Salibra, Robert Goldblatt: A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus. Inf. Comput. 148(1): 71-130 (1999) | |
| 1998 | ||
| 9 | Hajnal Andréka, Robert Goldblatt, István Németi: Relativised Quantification: Some Canonical Varieties of Sequence-Set Algebras. J. Symb. Log. 63(1): 163-184 (1998) | |
| 8 | EE | Robert Goldblatt: Enlargement of Functional Algebras for the Lambda Calculus. Theor. Comput. Sci. 198(1-2): 177-200 (1998) |
| 1992 | ||
| 7 | Robert Goldblatt: Parallel Action: Concurrent Dynamic Logic with Independent Modalities. Studia Logica 51(3/4): 551-578 (1992) | |
| 1991 | ||
| 6 | Robert Goldblatt: The McKinsey Axiom Is Not Canonical. J. Symb. Log. 56(2): 554-562 (1991) | |
| 1989 | ||
| 5 | Robert Goldblatt: Varieties of Complex Algebras. Ann. Pure Appl. Logic 44(3): 173-242 (1989) | |
| 1985 | ||
| 4 | Robert Goldblatt: On the Role of the Baire Category Theorem and Dependent Choice in the Foundations of Logic. J. Symb. Log. 50(2): 412-422 (1985) | |
| 1984 | ||
| 3 | Robert Goldblatt: Orthomodularity is not Elementary. J. Symb. Log. 49(2): 401-404 (1984) | |
| 1982 | ||
| 2 | Robert Goldblatt: Axiomatising the Logic of Computer Programming Springer 1982 | |
| 1975 | ||
| 1 | Robert Goldblatt: First-Order Definability in Modal Logic. J. Symb. Log. 40(1): 35-40 (1975) | |
| 1 | Hajnal Andréka | [9] |
| 2 | Ranald Clouston | [22] |
| 3 | Rodney G. Downey (Rod Downey) | [26] |
| 4 | David Friggens | [23] |
| 5 | Ian M. Hodkinson | [19] |
| 6 | Edwin D. Mares | [27] |
| 7 | István Németi | [9] |
| 8 | Antonino Salibra | [10] |
| 9 | Yde Venema | [19] |