We stand with Ukraine  

Robert Goldblatt

Orcid: 0000-0003-1848-2215

Affiliations:
  • Victoria University, Wellington, New Zealand


According to our database1, Robert Goldblatt authored at least 61 papers between 1973 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Canonicity in power and modal logics of finite achronal width.
[BibTeX]
[DOI]
Robert Goldblatt
,
Ian M. Hodkinson
CoRR, 2022

2020
Definable Operators on Stable Set Lattices.
[BibTeX]
[DOI]
Robert Goldblatt
Stud Logica, 2020

Strong Completeness of Modal Logics over 0-dimensional Metric Spaces.
[BibTeX]
[DOI]
Robert Goldblatt
,
Ian M. Hodkinson
Rev. Symb. Log., 2020

Morphisims and Duality for Polarities and Lattices with Operators.
[BibTeX]
[DOI]
Robert Goldblatt
FLAP, 2020

2018
The Finite Model Property for Logics with the Tangle Modality.
[BibTeX]
[DOI]
Robert Goldblatt
,
Ian M. Hodkinson
Stud Logica, 2018

Canonicity Frameworks and Ultraproducts of Polarities.
[BibTeX]
[DOI]
Robert Goldblatt
Proceedings of the Advances in Modal Logic 12, 2018

2017
Spatial logic of tangled closure operators and modal mu-calculus.
[BibTeX]
[DOI]
Robert Goldblatt
,
Ian M. Hodkinson
Ann. Pure Appl. Log., 2017

Cameo of a Consummate Computabilist.
[BibTeX]
[DOI]
Robert Goldblatt
Proceedings of the Computability and Complexity, 2017

2016
Spatial logic of modal mu-calculus and tangled closure operators.
[BibTeX]
[DOI]
Robert Goldblatt
,
Ian M. Hodkinson
CoRR, 2016

The Tangled Derivative Logic of the Real Line and Zero-Dimensional Space.
[BibTeX]
[DOI]
Robert Goldblatt
,
Ian M. Hodkinson
Proceedings of the Advances in Modal Logic 11, 2016

2014
The Power of a Propositional Constant.
[BibTeX]
[DOI]
Robert Goldblatt
,
Tomasz Kowalski
J. Philos. Log., 2014

2012
Well-structured program equivalence is highly undecidable.
[BibTeX]
[DOI]
Robert Goldblatt
,
Marcel Jackson
ACM Trans. Comput. Log., 2012

Topological Proofs of Some Rasiowa-Sikorski Lemmas.
[BibTeX]
[DOI]
Robert Goldblatt
Stud Logica, 2012

2011
Grishin Algebras and Cover Systems for Classical Bilinear Logic.
[BibTeX]
[DOI]
Robert Goldblatt
Stud Logica, 2011

Cover semantics for quantified lax logic.
[BibTeX]
[DOI]
Robert Goldblatt
J. Log. Comput., 2011

2010
Functional Monadic Bounded Algebras.
[BibTeX]
[DOI]
Robert Goldblatt
Stud Logica, 2010

Monadic Bounded Algebras.
[BibTeX]
[DOI]
Galym Akishev
,
Robert Goldblatt
Stud Logica, 2010

Deduction Systems for Coalgebras Over Measurable Spaces.
[BibTeX]
[DOI]
Robert Goldblatt
J. Log. Comput., 2010

An Admissible Semantics for Propositionally Quantified Relevant Logics.
[BibTeX]
[DOI]
Robert Goldblatt
,
Michael Kane
J. Philos. Log., 2010

2009
Conservativity of Heyting Implication over Relevant Quantification.
[BibTeX]
[DOI]
Robert Goldblatt
Rev. Symb. Log., 2009

Commutativity of Quantifiers in Varying-Domain Kripke Models.
[BibTeX]
[DOI]
Robert Goldblatt
,
Ian M. Hodkinson
Proceedings of the Towards Mathematical Philosophy, 2009

2006
Mathematical modal logic: A view of its evolution.
[BibTeX]
[DOI]
Robert Goldblatt
Proceedings of the Logic and the Modalities in the Twentieth Century, 2006

A modal proof theory for final polynomial coalgebras.
[BibTeX]
[DOI]
David Friggens
,
Robert Goldblatt
Theor. Comput. Sci., 2006

Maps and Monads for Modal Frames.
[BibTeX]
[DOI]
Robert Goldblatt
Stud Logica, 2006

An alternative semantics for quantified relevant logic.
[BibTeX]
[DOI]
Robert Goldblatt
,
Edwin D. Mares
J. Symb. Log., 2006

Final coalgebras and the Hennessy-Milner property.
[BibTeX]
[DOI]
Robert Goldblatt
Ann. Pure Appl. Log., 2006

Foreword.
[BibTeX]
[DOI]
Rodney G. Downey
,
Robert Goldblatt
Ann. Pure Appl. Log., 2006

A General Semantics for Quantified Modal Logic.
[BibTeX]
[DOI]
Robert Goldblatt
,
Edwin D. Mares
Proceedings of the Advances in Modal Logic 6, 2006

A Kripke-Joyal Semantics for Noncommutative Logic in Quantales.
[BibTeX]
[DOI]
Robert Goldblatt
Proceedings of the Advances in Modal Logic 6, 2006

2005
A comonadic account of behavioural covarieties of coalgebras.
[BibTeX]
[DOI]
Robert Goldblatt
Math. Struct. Comput. Sci., 2005

Axiomatic Classes of Intuitionistic Models.
[BibTeX]
[DOI]
Robert Goldblatt
J. Univers. Comput. Sci., 2005

Covarieties of Coalgebras: Comonads and Coequations.
[BibTeX]
[DOI]
Ranald Clouston
,
Robert Goldblatt
Proceedings of the Theoretical Aspects of Computing, 2005

2004
Erdös graphs resolve Fine's canonicity problem.
[BibTeX]
[DOI]
Robert Goldblatt
,
Ian M. Hodkinson
,
Yde Venema
Bull. Symb. Log., 2004

2003
Mathematical modal logic: A view of its evolution.
[BibTeX]
[DOI]
Robert Goldblatt
J. Appl. Log., 2003

Observational ultraproducts of polynomial coalgebras.
[BibTeX]
[DOI]
Robert Goldblatt
Ann. Pure Appl. Log., 2003

2002
Equational Logic of Polynomial Coalgebras.
[BibTeX]
[DOI]
Robert Goldblatt
Proceedings of the Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September, 2002

2001
What is the coalgebraic analogue of Birkhoff's variety theorem?
[BibTeX]
[DOI]
Robert Goldblatt
Theor. Comput. Sci., 2001

Persistence and Atomic Generation for Varieties of Boolean Algebras with Operators.
[BibTeX]
[DOI]
Robert Goldblatt
Stud Logica, 2001

Quasi-Modal Equivalence of Canonical Structures.
[BibTeX]
[DOI]
Robert Goldblatt
J. Symb. Log., 2001

A Calculus of Terms for Coalgebras of Polynomial Functors.
[BibTeX]
[DOI]
Robert Goldblatt
Proceedings of the Coalgebraic Methods in Computer Science, 2001

2000
Algebraic Polymodal Logic: A Survey.
[BibTeX]
[DOI]
Robert Goldblatt
Log. J. IGPL, 2000

1999
A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus.
[BibTeX]
[DOI]
Antonino Salibra
,
Robert Goldblatt
Inf. Comput., 1999

1998
Enlargement of Functional Algebras for the Lambda Calculus.
[BibTeX]
[DOI]
Robert Goldblatt
Theor. Comput. Sci., 1998

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

1996
The Functional Lambda Abstraction Algebras Form a Variety.
[BibTeX]
Robert Goldblatt
Proceedings of the First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, 1996

1992
Parallel Action: Concurrent Dynamic Logic with Independent Modalities.
[BibTeX]
[DOI]
Robert Goldblatt
Stud Logica, 1992

1991
The McKinsey Axiom Is Not Canonical.
[BibTeX]
[DOI]
Robert Goldblatt
J. Symb. Log., 1991

1989
Varieties of Complex Algebras.
[BibTeX]
[DOI]
Robert Goldblatt
Ann. Pure Appl. Log., 1989

1985
An algebraic study of well-foundedness.
[BibTeX]
[DOI]
Robert Goldblatt
Stud Logica, 1985

On the Role of the Baire Category Theorem and Dependent Choice in the Foundations of Logic.
[BibTeX]
[DOI]
Robert Goldblatt
J. Symb. Log., 1985

1984
Orthomodularity is not Elementary.
[BibTeX]
[DOI]
Robert Goldblatt
J. Symb. Log., 1984

Topoi - the categorial analysis of logic, Second rev. Edition.
[BibTeX]
[DOI]
Robert Goldblatt
Studies in logic and the foundations of mathematics 98, North-Holland, ISBN: 978-0-444-86711-7, 1984

1982
Axiomatising the Logic of Computer Programming
[BibTeX]
[DOI]
Robert Goldblatt
Lecture Notes in Computer Science 130, Springer, ISBN: 3-540-11210-3, 1982

1981
Grothendieck Topology as Geometric Modality.
[BibTeX]
[DOI]
Robert Ian Goldblatt
Math. Log. Q., 1981

1975
Erratum: "Concerning the proper axiom for S4.04 and some related systems".
[BibTeX]
[DOI]
Robert Goldblatt
Notre Dame J. Formal Log., 1975

Solution to a completeness problem of Lemmon and Scott.
[BibTeX]
[DOI]
Robert Goldblatt
Notre Dame J. Formal Log., 1975

First-Order Definability in Modal Logic.
[BibTeX]
[DOI]
Robert Goldblatt
J. Symb. Log., 1975

1974
A study of Z modal systems.
[BibTeX]
[DOI]
Robert Goldblatt
Notre Dame J. Formal Log., 1974

Semantic analysis of orthologic.
[BibTeX]
[DOI]
Robert Goldblatt
J. Philos. Log., 1974

1973
A new extension of S4.
[BibTeX]
[DOI]
Robert Goldblatt
Notre Dame J. Formal Log., 1973

Concerning the proper axiom for S4.04 and some related systems.
[BibTeX]
[DOI]
Robert Goldblatt
Notre Dame J. Formal Log., 1973


  Loading...