 | 2012 |
|---|
| 38 |       | Robert Goldblatt:
Topological Proofs of Some Rasiowa-Sikorski Lemmas.
Studia Logica 100(1-2): 175-191 (2012) |
| 2011 |
|---|
| 37 | | Robert Goldblatt,
Marcel Jackson:
Well structured program equivalence is highly undecidable
CoRR abs/1103.1433: (2011) |
| 36 | | Robert Goldblatt:
Cover semantics for quantified lax logic.
J. Log. Comput. 21(6): 1035-1063 (2011) |
| 35 | | Robert Goldblatt:
Grishin Algebras and Cover Systems for Classical Bilinear Logic.
Studia Logica 99(1-3): 203-227 (2011) |
| 2010 |
|---|
| 34 | | Robert Goldblatt:
Deduction Systems for Coalgebras Over Measurable Spaces.
J. Log. Comput. 20(5): 1069-1100 (2010) |
| 33 | | Robert Goldblatt,
Michael Kane:
An Admissible Semantics for Propositionally Quantified Relevant Logics.
J. Philosophical Logic 39(1): 73-100 (2010) |
| 32 | | Galym Akishev,
Robert Goldblatt:
Monadic Bounded Algebras.
Studia Logica 96(1): 1-40 (2010) |
| 31 | | Robert Goldblatt:
Functional Monadic Bounded Algebras.
Studia Logica 96(1): 41-48 (2010) |
| 2008 |
|---|
| 30 |  | 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 |
|---|
| 29 | | Robert Goldblatt:
A Kripke-Joyal Semantics for Noncommutative Logic in Quantales.
Advances in Modal Logic 2006: 209-225 |
| 28 | | Robert Goldblatt,
Edwin D. Mares:
A General Semantics for Quantified Modal Logic.
Advances in Modal Logic 2006: 227-246 |
| 27 | | Rodney G. Downey,
Robert Goldblatt:
Foreword.
Ann. Pure Appl. Logic 138(1-3): 1- (2006) |
| 26 | | Robert Goldblatt:
Final coalgebras and the Hennessy-Milner property.
Ann. Pure Appl. Logic 138(1-3): 77-93 (2006) |
| 25 | | Robert Goldblatt,
Edwin D. Mares:
An alternative semantics for quantified relevant logic.
J. Symb. Log. 71(1): 163-187 (2006) |
| 24 | | Robert Goldblatt:
Maps and Monads for Modal Frames.
Studia Logica 83(1-3): 309-331 (2006) |
| 23 | | David Friggens,
Robert Goldblatt:
A modal proof theory for final polynomial coalgebras.
Theor. Comput. Sci. 360(1-3): 1-22 (2006) |
| 2005 |
|---|
| 22 | | Ranald Clouston,
Robert Goldblatt:
Covarieties of Coalgebras: Comonads and Coequations.
ICTAC 2005: 288-302 |
| 21 | | Robert Goldblatt:
Axiomatic Classes of Intuitionistic Models.
J. UCS 11(12): 1945-1962 (2005) |
| 20 | | Robert Goldblatt:
A comonadic account of behavioural covarieties of coalgebras.
Mathematical Structures in Computer Science 15(2): 243-269 (2005) |
| 2004 |
|---|
| 19 | | 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 | | Robert Goldblatt:
Observational ultraproducts of polynomial coalgebras.
Ann. Pure Appl. Logic 123(1-3): 235-290 (2003) |
| 17 | | 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 | | Robert Goldblatt:
A Calculus of Terms for Coalgebras of Polynomial Functors.
Electr. Notes Theor. Comput. Sci. 44(1): 161-184 (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 | | Robert Goldblatt:
What is the coalgebraic analogue of Birkhoff's variety theorem?
Theor. Comput. Sci. 266(1-2): 853-886 (2001) |
| 2000 |
|---|
| 11 | | Robert Goldblatt:
Algebraic Polymodal Logic: A Survey.
Logic Journal of the IGPL 8(4): 393-450 (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 | | 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page