Concerning the proper axiom for S4.04 and some related systems. - Robert Goldblatt (Notre Dame J. Formal Log., 1973)

A new extension of S4. - Robert Goldblatt (Notre Dame J. Formal Log., 1973)

Semantic analysis of orthologic. - Robert Goldblatt (J. Philos. Log., 1974)

A study of Z modal systems. - Robert Goldblatt (Notre Dame J. Formal Log., 1974)

First-Order Definability in Modal Logic. - Robert Goldblatt (J. Symb. Log., 1975)

Solution to a completeness problem of Lemmon and Scott. - Robert Goldblatt (Notre Dame J. Formal Log., 1975)

Erratum: "Concerning the proper axiom for S4.04 and some related systems". - Robert Goldblatt (Notre Dame J. Formal Log., 1975)

Grothendieck Topology as Geometric Modality. - Robert Ian Goldblatt (Math. Log. Q., 1981)

Axiomatising the Logic of Computer Programming - Robert Goldblatt (Springer, 1982)

Topoi - the categorial analysis of logic, Second rev. Edition. - Robert Goldblatt (North-Holland, 1984)

Orthomodularity is not Elementary. - Robert Goldblatt (J. Symb. Log., 1984)

On the Role of the Baire Category Theorem and Dependent Choice in the Foundations of Logic. - Robert Goldblatt (J. Symb. Log., 1985)

An algebraic study of well-foundedness. - Robert Goldblatt (Stud Logica, 1985)

Varieties of Complex Algebras. - Robert Goldblatt (Ann. Pure Appl. Log., 1989)

The McKinsey Axiom Is Not Canonical. - Robert Goldblatt (J. Symb. Log., 1991)

Parallel Action: Concurrent Dynamic Logic with Independent Modalities. - Robert Goldblatt (Stud Logica, 1992)

The Functional Lambda Abstraction Algebras Form a Variety. - Robert Goldblatt (DMTCS, 1996)

Relativised Quantification: Some Canonical Varieties of Sequence-Set Algebras. - Hajnal Andréka; Robert Goldblatt; István Németi (J. Symb. Log., 1998)

Enlargement of Functional Algebras for the Lambda Calculus. - Robert Goldblatt (Theor. Comput. Sci., 1998)

A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus. - Antonino Salibra; Robert Goldblatt (Inf. Comput., 1999)

Algebraic Polymodal Logic: A Survey. - Robert Goldblatt (Log. J. IGPL, 2000)

A Calculus of Terms for Coalgebras of Polynomial Functors. - Robert Goldblatt (CMCS, 2001)

Quasi-Modal Equivalence of Canonical Structures. - Robert Goldblatt (J. Symb. Log., 2001)

Persistence and Atomic Generation for Varieties of Boolean Algebras with Operators. - Robert Goldblatt (Stud Logica, 2001)

What is the coalgebraic analogue of Birkhoff's variety theorem? - Robert Goldblatt (Theor. Comput. Sci., 2001)

Equational Logic of Polynomial Coalgebras. - Robert Goldblatt (Advances in Modal Logic, 2002)

Observational ultraproducts of polynomial coalgebras. - Robert Goldblatt (Ann. Pure Appl. Log., 2003)

Mathematical modal logic: A view of its evolution. - Robert Goldblatt (J. Appl. Log., 2003)

Erdös graphs resolve Fine's canonicity problem. - Robert Goldblatt; Ian M. Hodkinson; Yde Venema (Bull. Symb. Log., 2004)

Covarieties of Coalgebras: Comonads and Coequations. - Ranald Clouston; Robert Goldblatt (ICTAC, 2005)

Axiomatic Classes of Intuitionistic Models. - Robert Goldblatt (J. Univers. Comput. Sci., 2005)

A comonadic account of behavioural covarieties of coalgebras. - Robert Goldblatt (Math. Struct. Comput. Sci., 2005)

A Kripke-Joyal Semantics for Noncommutative Logic in Quantales. - Robert Goldblatt (Advances in Modal Logic, 2006)

A General Semantics for Quantified Modal Logic. - Robert Goldblatt; Edwin D. Mares (Advances in Modal Logic, 2006)

Foreword. - Rodney G. Downey; Robert Goldblatt (Ann. Pure Appl. Log., 2006)

Final coalgebras and the Hennessy-Milner property. - Robert Goldblatt (Ann. Pure Appl. Log., 2006)

An alternative semantics for quantified relevant logic. - Robert Goldblatt; Edwin D. Mares (J. Symb. Log., 2006)

Maps and Monads for Modal Frames. - Robert Goldblatt (Stud Logica, 2006)

A modal proof theory for final polynomial coalgebras. - David Friggens; Robert Goldblatt (Theor. Comput. Sci., 2006)

Mathematical modal logic: A view of its evolution. - Robert Goldblatt (Logic and the Modalities in the Twentieth Century, 2006)

Commutativity of Quantifiers in Varying-Domain Kripke Models. - Robert Goldblatt; Ian M. Hodkinson (Towards Mathematical Philosophy, 2009)

Conservativity of Heyting Implication over Relevant Quantification. - Robert Goldblatt (Rev. Symb. Log., 2009)

An Admissible Semantics for Propositionally Quantified Relevant Logics. - Robert Goldblatt; Michael Kane (J. Philos. Log., 2010)

Deduction Systems for Coalgebras Over Measurable Spaces. - Robert Goldblatt (J. Log. Comput., 2010)

Monadic Bounded Algebras. - Galym Akishev; Robert Goldblatt (Stud Logica, 2010)

Functional Monadic Bounded Algebras. - Robert Goldblatt (Stud Logica, 2010)

Cover semantics for quantified lax logic. - Robert Goldblatt (J. Log. Comput., 2011)

Grishin Algebras and Cover Systems for Classical Bilinear Logic. - Robert Goldblatt (Stud Logica, 2011)

Topological Proofs of Some Rasiowa-Sikorski Lemmas. - Robert Goldblatt (Stud Logica, 2012)

Well-structured program equivalence is highly undecidable. - Robert Goldblatt; Marcel Jackson (ACM Trans. Comput. Log., 2012)

The Power of a Propositional Constant. - Robert Goldblatt; Tomasz Kowalski (J. Philos. Log., 2014)

The Tangled Derivative Logic of the Real Line and Zero-Dimensional Space. - Robert Goldblatt; Ian M. Hodkinson (Advances in Modal Logic, 2016)

Spatial logic of modal mu-calculus and tangled closure operators. - Robert Goldblatt; Ian M. Hodkinson (CoRR, 2016)

Cameo of a Consummate Computabilist. - Robert Goldblatt (Computability and Complexity, 2017)

Spatial logic of tangled closure operators and modal mu-calculus. - Robert Goldblatt; Ian M. Hodkinson (Ann. Pure Appl. Log., 2017)

Canonicity Frameworks and Ultraproducts of Polarities. - Robert Goldblatt (Advances in Modal Logic, 2018)

The Finite Model Property for Logics with the Tangle Modality. - Robert Goldblatt; Ian M. Hodkinson (Stud Logica, 2018)

Morphisims and Duality for Polarities and Lattices with Operators. - Robert Goldblatt (FLAP, 2020)

Strong Completeness of Modal Logics over 0-dimensional Metric Spaces. - Robert Goldblatt; Ian M. Hodkinson (Rev. Symb. Log., 2020)

Definable Operators on Stable Set Lattices. - Robert Goldblatt (Stud Logica, 2020)

Canonicity in Power and Modal Logics of finite Achronal Width. - Robert Goldblatt; Ian M. Hodkinson (Rev. Symb. Log., 2024)