Robert Goldblatt

Publication Activity (10 Years)

Years Active: 1973-2022
Publications (10 Years): 11

Top Topics

Inference Rules

Closure Operator

Top Venues

Advances in Modal Logic

Ann. Pure Appl. Log.

Publications

Robert Goldblatt, Ian M. Hodkinson
Canonicity in power and modal logics of finite achronal width. CoRR (2022)
Robert Goldblatt, Ian M. Hodkinson
Strong Completeness of Modal Logics over 0-dimensional Metric Spaces. Rev. Symb. Log. 13 (3) (2020)
Robert Goldblatt
Morphisims and Duality for Polarities and Lattices with Operators. FLAP 7 (6) (2020)
Robert Goldblatt
Definable Operators on Stable Set Lattices. Stud Logica 108 (6) (2020)
Robert Goldblatt, Ian M. Hodkinson
Strong completeness of modal logics over 0-dimensional metric spaces. CoRR (2019)
Robert Goldblatt, Ian M. Hodkinson
The Finite Model Property for Logics with the Tangle Modality. Stud Logica 106 (1) (2018)
Robert Goldblatt
Canonicity Frameworks and Ultraproducts of Polarities. Advances in Modal Logic (2018)
Robert Goldblatt
Cameo of a Consummate Computabilist. Computability and Complexity (2017)
Robert Goldblatt, Ian M. Hodkinson
Spatial logic of tangled closure operators and modal mu-calculus. Ann. Pure Appl. Log. 168 (5) (2017)
Robert Goldblatt, Ian M. Hodkinson
The Tangled Derivative Logic of the Real Line and Zero-Dimensional Space. Advances in Modal Logic (2016)
Robert Goldblatt, Ian M. Hodkinson
Spatial logic of modal mu-calculus and tangled closure operators. CoRR (2016)
Robert Goldblatt, Tomasz Kowalski
The Power of a Propositional Constant. J. Philos. Log. 43 (1) (2014)
Robert Goldblatt
Topological Proofs of Some Rasiowa-Sikorski Lemmas. Stud Logica 100 (1-2) (2012)
Robert Goldblatt, Marcel Jackson
Well-structured program equivalence is highly undecidable. ACM Trans. Comput. Log. 13 (3) (2012)
Robert Goldblatt
Grishin Algebras and Cover Systems for Classical Bilinear Logic. Stud Logica 99 (1-3) (2011)
Robert Goldblatt
Cover semantics for quantified lax logic. J. Log. Comput. 21 (6) (2011)
Robert Goldblatt, Marcel Jackson
Well structured program equivalence is highly undecidable CoRR (2011)
Galym Akishev, Robert Goldblatt
Monadic Bounded Algebras. Stud Logica 96 (1) (2010)
Robert Goldblatt
Deduction Systems for Coalgebras Over Measurable Spaces. J. Log. Comput. 20 (5) (2010)
Robert Goldblatt, Michael Kane
An Admissible Semantics for Propositionally Quantified Relevant Logics. J. Philos. Log. 39 (1) (2010)
Robert Goldblatt
Functional Monadic Bounded Algebras. Stud Logica 96 (1) (2010)
Robert Goldblatt
Conservativity of Heyting Implication over Relevant Quantification. Rev. Symb. Log. 2 (2) (2009)
Robert Goldblatt
A Kripke-Joyal Semantics for Noncommutative Logic in Quantales. Advances in Modal Logic (2006)
Robert Goldblatt, Edwin D. Mares
A General Semantics for Quantified Modal Logic. Advances in Modal Logic (2006)
Robert Goldblatt, Edwin D. Mares
An alternative semantics for quantified relevant logic. J. Symb. Log. 71 (1) (2006)
Robert Goldblatt
Final coalgebras and the Hennessy-Milner property. Ann. Pure Appl. Log. 138 (1-3) (2006)
Rodney G. Downey, Robert Goldblatt
Foreword. Ann. Pure Appl. Log. 138 (1-3) (2006)
David Friggens, Robert Goldblatt
A modal proof theory for final polynomial coalgebras. Theor. Comput. Sci. 360 (1-3) (2006)
Robert Goldblatt
Maps and Monads for Modal Frames. Stud Logica 83 (1-3) (2006)
Robert Goldblatt
A comonadic account of behavioural covarieties of coalgebras. Math. Struct. Comput. Sci. 15 (2) (2005)
Robert Goldblatt
Axiomatic Classes of Intuitionistic Models. J. Univers. Comput. Sci. 11 (12) (2005)
Ranald Clouston, Robert Goldblatt
Covarieties of Coalgebras: Comonads and Coequations. ICTAC (2005)
Robert Goldblatt, Ian M. Hodkinson, Yde Venema
Erdös graphs resolve Fine's canonicity problem. Bull. Symb. Log. 10 (2) (2004)
Robert Goldblatt
Observational ultraproducts of polynomial coalgebras. Ann. Pure Appl. Log. 123 (1-3) (2003)
Robert Goldblatt
Mathematical modal logic: A view of its evolution. J. Appl. Log. 1 (5-6) (2003)
Robert Goldblatt
Equational Logic of Polynomial Coalgebras. Advances in Modal Logic (2002)
Robert Goldblatt
Quasi-Modal Equivalence of Canonical Structures. J. Symb. Log. 66 (2) (2001)
Robert Goldblatt
What is the coalgebraic analogue of Birkhoff's variety theorem? Theor. Comput. Sci. 266 (1-2) (2001)
Robert Goldblatt
A Calculus of Terms for Coalgebras of Polynomial Functors. CMCS (2001)
Robert Goldblatt
Persistence and Atomic Generation for Varieties of Boolean Algebras with Operators. Stud Logica 68 (2) (2001)
Robert Goldblatt
Algebraic Polymodal Logic: A Survey. Log. J. IGPL 8 (4) (2000)
Antonino Salibra, Robert Goldblatt
A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus. Inf. Comput. 148 (1) (1999)
Robert Goldblatt
Enlargement of Functional Algebras for the Lambda Calculus. Theor. Comput. Sci. 198 (1-2) (1998)
Hajnal Andréka, Robert Goldblatt, István Németi
Relativised Quantification: Some Canonical Varieties of Sequence-Set Algebras. J. Symb. Log. 63 (1) (1998)
Robert Goldblatt
The Functional Lambda Abstraction Algebras Form a Variety. DMTCS (1996)
Robert Goldblatt
Parallel Action: Concurrent Dynamic Logic with Independent Modalities. Stud Logica 51 (3/4) (1992)
Robert Goldblatt
The McKinsey Axiom Is Not Canonical. J. Symb. Log. 56 (2) (1991)
Robert Goldblatt
Varieties of Complex Algebras. Ann. Pure Appl. Log. 44 (3) (1989)
Robert Goldblatt
On the Role of the Baire Category Theorem and Dependent Choice in the Foundations of Logic. J. Symb. Log. 50 (2) (1985)
Robert Goldblatt
An algebraic study of well-foundedness. Stud Logica 44 (4) (1985)
Robert Goldblatt
Orthomodularity is not Elementary. J. Symb. Log. 49 (2) (1984)
Robert Goldblatt
First-Order Definability in Modal Logic. J. Symb. Log. 40 (1) (1975)
Robert Goldblatt
Solution to a completeness problem of Lemmon and Scott. Notre Dame J. Formal Log. 16 (3) (1975)
Robert Goldblatt
Erratum: "Concerning the proper axiom for S4.04 and some related systems". Notre Dame J. Formal Log. 16 (4) (1975)
Robert Goldblatt
A study of Z modal systems. Notre Dame J. Formal Log. 15 (2) (1974)
Robert Goldblatt
Semantic analysis of orthologic. J. Philos. Log. 3 (1-2) (1974)
Robert Goldblatt
A new extension of S4. Notre Dame J. Formal Log. 14 (4) (1973)
Robert Goldblatt
Concerning the proper axiom for S4.04 and some related systems. Notre Dame J. Formal Log. 14 (3) (1973)