default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRobert Goldblatt
Person information
- affiliation: Victoria University, Wellington, New Zealand
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[i4]Robert Goldblatt, Ian M. Hodkinson:
Canonicity in power and modal logics of finite achronal width. CoRR abs/2207.12596 (2022)- 2020
- [j46]Robert Goldblatt:
Morphisims and Duality for Polarities and Lattices with Operators. FLAP 7(6): 1017-1070 (2020) - [j45]Robert Goldblatt
, Ian M. Hodkinson:
Strong Completeness of Modal Logics over 0-dimensional Metric Spaces. Rev. Symb. Log. 13(3): 611-632 (2020) - [j44]Robert Goldblatt:
Definable Operators on Stable Set Lattices. Stud Logica 108(6): 1263-1280 (2020)
2010 – 2019
- 2019
- [i3]Robert Goldblatt, Ian M. Hodkinson:
Strong completeness of modal logics over 0-dimensional metric spaces. CoRR abs/1905.03477 (2019) - 2018
- [j43]Robert Goldblatt, Ian M. Hodkinson:
The Finite Model Property for Logics with the Tangle Modality. Stud Logica 106(1): 131-166 (2018) - [c9]Robert Goldblatt:
Canonicity Frameworks and Ultraproducts of Polarities. Advances in Modal Logic 2018: 5 - 2017
- [j42]Robert Goldblatt, Ian M. Hodkinson:
Spatial logic of tangled closure operators and modal mu-calculus. Ann. Pure Appl. Log. 168(5): 1032-1090 (2017) - [c8]Robert Goldblatt:
Cameo of a Consummate Computabilist. Computability and Complexity 2017: 3-8 - 2016
- [c7]Robert Goldblatt, Ian M. Hodkinson:
The Tangled Derivative Logic of the Real Line and Zero-Dimensional Space. Advances in Modal Logic 2016: 342-361 - [i2]Robert Goldblatt, Ian M. Hodkinson:
Spatial logic of modal mu-calculus and tangled closure operators. CoRR abs/1603.01766 (2016) - 2014
- [j41]Robert Goldblatt, Tomasz Kowalski:
The Power of a Propositional Constant. J. Philos. Log. 43(1): 133-152 (2014) - 2012
- [j40]Robert Goldblatt:
Topological Proofs of Some Rasiowa-Sikorski Lemmas. Stud Logica 100(1-2): 175-191 (2012) - [j39]Robert Goldblatt, Marcel Jackson:
Well-structured program equivalence is highly undecidable. ACM Trans. Comput. Log. 13(3): 26:1-26:8 (2012) - 2011
- [j38]Robert Goldblatt:
Cover semantics for quantified lax logic. J. Log. Comput. 21(6): 1035-1063 (2011) - [j37]Robert Goldblatt:
Grishin Algebras and Cover Systems for Classical Bilinear Logic. Stud Logica 99(1-3): 203-227 (2011) - [i1]Robert Goldblatt, Marcel Jackson:
Well structured program equivalence is highly undecidable. CoRR abs/1103.1433 (2011) - 2010
- [j36]Robert Goldblatt, Michael Kane:
An Admissible Semantics for Propositionally Quantified Relevant Logics. J. Philos. Log. 39(1): 73-100 (2010) - [j35]Robert Goldblatt:
Deduction Systems for Coalgebras Over Measurable Spaces. J. Log. Comput. 20(5): 1069-1100 (2010) - [j34]Galym Akishev, Robert Goldblatt:
Monadic Bounded Algebras. Stud Logica 96(1): 1-40 (2010) - [j33]Robert Goldblatt:
Functional Monadic Bounded Algebras. Stud Logica 96(1): 41-48 (2010)
2000 – 2009
- 2009
- [j32]Robert Goldblatt:
Conservativity of Heyting Implication over Relevant Quantification. Rev. Symb. Log. 2(2): 310-341 (2009) - [p1]Robert Goldblatt, Ian M. Hodkinson:
Commutativity of Quantifiers in Varying-Domain Kripke Models. Towards Mathematical Philosophy 2009: 9-30 - 2008
- [e1]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, ISBN 978-1-904987-68-0 [contents] - 2006
- [j31]Rodney G. Downey, Robert Goldblatt:
Foreword. Ann. Pure Appl. Log. 138(1-3): 1- (2006) - [j30]Robert Goldblatt:
Final coalgebras and the Hennessy-Milner property. Ann. Pure Appl. Log. 138(1-3): 77-93 (2006) - [j29]Robert Goldblatt, Edwin D. Mares:
An alternative semantics for quantified relevant logic. J. Symb. Log. 71(1): 163-187 (2006) - [j28]Robert Goldblatt:
Maps and Monads for Modal Frames. Stud Logica 83(1-3): 309-331 (2006) - [j27]David Friggens, Robert Goldblatt:
A modal proof theory for final polynomial coalgebras. Theor. Comput. Sci. 360(1-3): 1-22 (2006) - [c6]Robert Goldblatt:
A Kripke-Joyal Semantics for Noncommutative Logic in Quantales. Advances in Modal Logic 2006: 209-225 - [c5]Robert Goldblatt, Edwin D. Mares:
A General Semantics for Quantified Modal Logic. Advances in Modal Logic 2006: 227-246 - [r1]Robert Goldblatt:
Mathematical modal logic: A view of its evolution. Logic and the Modalities in the Twentieth Century 2006: 1-98 - 2005
- [j26]Robert Goldblatt:
Axiomatic Classes of Intuitionistic Models. J. Univers. Comput. Sci. 11(12): 1945-1962 (2005) - [j25]Robert Goldblatt:
A comonadic account of behavioural covarieties of coalgebras. Math. Struct. Comput. Sci. 15(2): 243-269 (2005) - [c4]Ranald Clouston, Robert Goldblatt:
Covarieties of Coalgebras: Comonads and Coequations. ICTAC 2005: 288-302 - 2004
- [j24]Robert Goldblatt, Ian M. Hodkinson, Yde Venema:
Erdös graphs resolve Fine's canonicity problem. Bull. Symb. Log. 10(2): 186-208 (2004) - 2003
- [j23]Robert Goldblatt:
Observational ultraproducts of polynomial coalgebras. Ann. Pure Appl. Log. 123(1-3): 235-290 (2003) - [j22]Robert Goldblatt:
Mathematical modal logic: A view of its evolution. J. Appl. Log. 1(5-6): 309-392 (2003) - 2002
- [c3]Robert Goldblatt:
Equational Logic of Polynomial Coalgebras. Advances in Modal Logic 2002: 149-184 - 2001
- [j21]Robert Goldblatt:
Quasi-Modal Equivalence of Canonical Structures. J. Symb. Log. 66(2): 497-508 (2001) - [j20]Robert Goldblatt:
Persistence and Atomic Generation for Varieties of Boolean Algebras with Operators. Stud Logica 68(2): 155-171 (2001) - [j19]Robert Goldblatt:
What is the coalgebraic analogue of Birkhoff's variety theorem? Theor. Comput. Sci. 266(1-2): 853-886 (2001) - [c2]Robert Goldblatt:
A Calculus of Terms for Coalgebras of Polynomial Functors. CMCS 2001: 161-184 - 2000
- [j18]Robert Goldblatt:
Algebraic Polymodal Logic: A Survey. Log. J. IGPL 8(4): 393-450 (2000)
1990 – 1999
- 1999
- [j17]Antonino Salibra, Robert Goldblatt:
A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus. Inf. Comput. 148(1): 71-130 (1999) - 1998
- [j16]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) - [j15]Robert Goldblatt:
Enlargement of Functional Algebras for the Lambda Calculus. Theor. Comput. Sci. 198(1-2): 177-200 (1998) - 1996
- [c1]Robert Goldblatt:
The Functional Lambda Abstraction Algebras Form a Variety. DMTCS 1996: 226-243 - 1992
- [j14]Robert Goldblatt:
Parallel Action: Concurrent Dynamic Logic with Independent Modalities. Stud Logica 51(3/4): 551-578 (1992) - 1991
- [j13]Robert Goldblatt:
The McKinsey Axiom Is Not Canonical. J. Symb. Log. 56(2): 554-562 (1991)
1980 – 1989
- 1989
- [j12]Robert Goldblatt:
Varieties of Complex Algebras. Ann. Pure Appl. Log. 44(3): 173-242 (1989) - 1985
- [j11]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) - [j10]Robert Goldblatt:
An algebraic study of well-foundedness. Stud Logica 44(4): 423-437 (1985) - 1984
- [b2]Robert Goldblatt:
Topoi - the categorial analysis of logic, Second rev. Edition. Studies in logic and the foundations of mathematics 98, North-Holland 1984, ISBN 978-0-444-86711-7, pp. I-XVI, 1-549 - [j9]Robert Goldblatt:
Orthomodularity is not Elementary. J. Symb. Log. 49(2): 401-404 (1984) - 1982
- [b1]Robert Goldblatt:
Axiomatising the Logic of Computer Programming. Lecture Notes in Computer Science 130, Springer 1982, ISBN 3-540-11210-3 - 1981
- [j8]Robert Ian Goldblatt:
Grothendieck Topology as Geometric Modality. Math. Log. Q. 27(31-35): 495-529 (1981)
1970 – 1979
- 1975
- [j7]Robert Goldblatt:
First-Order Definability in Modal Logic. J. Symb. Log. 40(1): 35-40 (1975) - [j6]Robert Goldblatt:
Solution to a completeness problem of Lemmon and Scott. Notre Dame J. Formal Log. 16(3): 405-408 (1975) - [j5]Robert Goldblatt:
Erratum: "Concerning the proper axiom for S4.04 and some related systems". Notre Dame J. Formal Log. 16(4): 608 (1975) - 1974
- [j4]Robert Goldblatt:
Semantic analysis of orthologic. J. Philos. Log. 3(1-2): 19-35 (1974) - [j3]Robert Goldblatt:
A study of Z modal systems. Notre Dame J. Formal Log. 15(2): 289-294 (1974) - 1973
- [j2]Robert Goldblatt:
Concerning the proper axiom for S4.04 and some related systems. Notre Dame J. Formal Log. 14(3): 392-396 (1973) - [j1]Robert Goldblatt:
A new extension of S4. Notre Dame J. Formal Log. 14(4): 567-574 (1973)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
