| 2008 |
|---|
| 29 | | Carlos Areces,
Robert Goldblatt:
Advances in Modal Logic 7, papers from the seventh conference on "Advances in Modal Logic," held in Nancy, France, 9-12 September 2008
College Publications 2008 |
| 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) |
