Robert Goldblatt | Academic Influence

Robert Goldblatt's AcademicInfluence.com Rankings

Robert Goldblatt

Mathematics

#1028

World Rank

#1763

Historical Rank

Measure Theory

#955

World Rank

#1243

Historical Rank

mathematics Degrees

Download Badge

Mathematics

Robert Goldblatt's Degrees

PhD Mathematics University of Auckland
Bachelors Mathematics University of Auckland

Similar Degrees You Can Earn

Best Online Bachelor's in Math Ranked

Why Is Robert Goldblatt Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Robert Ian Goldblatt is a mathematical logician who is Emeritus Professor in the School of Mathematics and Statistics at Victoria University, Wellington, New Zealand. His doctoral advisor was Max Cresswell. His most popular books are Logics of Time and Computation and Topoi: the Categorial Analysis of Logic. He has also written a graduate level textbook on hyperreal numbers which is an introduction to nonstandard analysis.

(See a Problem?)

Robert Goldblatt's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Logics of Time and Computation (1987) (701)
Topoi, the Categorial Analysis of Logic (1979) (687)
Varieties of Complex Algebras (1989) (295)
Mathematical modal logic: A view of its evolution (2003) (279)
Semantic analysis of orthologic (1974) (254)
Lectures on the hyperreals : an introduction to nonstandard analysis (1998) (252)
Lectures on the hyperreals (1998) (199)
Metamathematics of modal logic (1974) (175)
Axiomatising the Logic of Computer Programming (1982) (142)
Mathematics of modality (1993) (136)
AXIOMATIC CLASSES IN PROPOSITIONAL MODAL LOGIC (1975) (130)
Diodorean modality in Minkowski spacetime (1980) (76)
Orthogonality and spacetime geometry (1987) (64)
Grothendieck Topology as Geometric Modality (1981) (56)
Orthomodularity is not elementary (1984) (51)
The Stone Space of an Ortholattice (1975) (49)
First-order definability in modal logic (1975) (47)
On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic (1985) (47)
Elementary generation and canonicity for varieties of Boolean algebras with operators (1995) (46)
An alternative semantics for quantified relevant logic (2006) (43)
The McKinsey axiom is not canonical (1991) (42)
Erdös graphs resolve Fine's canonicity problem (2004) (40)
Parallel action: Concurrent dynamic logic with independent modalities (1992) (36)
Deduction Systems for Coalgebras Over Measurable Spaces (2010) (33)
Algebraic Polymodal Logic: A Survey (2000) (31)
Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics (2011) (28)
Arithmetical necessity, provability and intuitionistic logic (2008) (28)
What is the coalgebraic analogue of Birkhoff's variety theorem? (2001) (26)
Cover semantics for quantified lax logic (2011) (22)
Final coalgebras and the Hennessy-Milner property (2006) (21)
A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus (1999) (20)
A Kripke-Joyal Semantics for Noncommutative Logic in Quantales (2006) (19)
On canonical modal logics that are not elementarily determined (2003) (18)
Equational Logic of Polynomial Coalgebras (2002) (17)
Persistence and Atomic Generation for Varieties of Boolean Algebras with Operators (2001) (17)
The McKinsey–Lemmon logic is barely canonical (2007) (15)
Well-structured program equivalence is highly undecidable (2011) (14)
A General Semantics for Quantified Modal Logic (2006) (14)
A Calculus of Terms for Coalgebras of Polynomial Functors (2001) (14)
An algebraic study of well-foundedness (1985) (14)
Spatial logic of tangled closure operators and modal mu-calculus (2017) (14)
Relativised quantification: Some canonical varieties of sequence-set algebras (1998) (12)
Topological Proofs of Some Rasiowa-Sikorski Lemmas (2012) (12)
An Admissible Semantics for Propositionally Quantified Relevant Logics (2010) (10)
An abstract setting for Henkin proofs (1984) (10)
Observational ultraproducts of polynomial coalgebras (2003) (10)
THE EXISTENCE PREDICATE (2011) (10)
Quasi-Modal Equivalence of Canonical Structures (2001) (9)
Morphisims and Duality for Polarities and Lattices with Operators (2019) (9)
The Power of a Propositional Constant (2014) (9)
The Finite Model Property for Logics with the Tangle Modality (2018) (9)
Axiomatic Classes of Intuitionistic Models (2005) (8)
The semantics of Hoare's Iteration Rule (1982) (8)
A modal proof theory for final polynomial coalgebras (2006) (8)
Maps and Monads for Modal Frames (2006) (8)
The Functional Lambda Abstraction Algebras Form a Variety (1996) (8)
Duality for some categories of coalgebras (2001) (8)
Mereocompactness and Duality for Mereotopological Spaces (2016) (7)
Commutativity of Quantifiers in Varying-Domain Kripke Models (2009) (7)
Canonical extensions and ultraproducts of polarities (2017) (7)
Solution to a completeness problem of Lemmon and Scott (1975) (7)
Enlargement of Functional Algebras for the Lambda Calculus (1998) (7)
Fine’s Theorem on First-Order Complete Modal Logics (2016) (7)
ENLARGEMENTS OF POLYNOMIAL COALGEBRAS (2003) (6)
The Tangled Derivative Logic of the Real Line and Zero-Dimensional Space (2016) (6)
Covarieties of Coalgebras: Comonads and Coequations (2005) (6)
Spatial logic of modal mu-calculus and tangled closure operators (2016) (5)
First-Order Spacetime Geometry (1989) (5)
Monadic Bounded Algebras (2010) (5)
Grishin Algebras and Cover Systems for Classical Bilinear Logic (2011) (5)
CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION (2009) (5)
A study of Z modal systems (1974) (4)
The Countable Henkin Principle (2014) (4)
Convergence of Sequences and Series (1998) (4)
A new extension of S4 (1973) (4)
Definable Operators on Stable Set Lattices (2018) (3)
Functional Monadic Bounded Algebras (2010) (3)
Reflections on a Proof of Elementarity (1999) (3)
A comonadic account of behavioural covarieties of coalgebras (2005) (3)
Questions of Canonicity (2003) (3)
Decidability of Some Extensions of J (1974) (2)
Advances in Modal Logic 7, papers from the seventh conference on "Advances in Modal Logic," held in Nancy, France, 9-12 September 2008 (2008) (2)
Representing and Completing Lattices by Propositions of Cover Systems (2017) (2)
STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES (2019) (2)
Topoi - the categorial analysis of logic, Second rev. Edition (1984) (2)
Concerning the proper axiom for S4.04 and some related systems (1973) (2)
Cover Systems for the Modalities of Linear Logic (2016) (2)
What Are the Hyperreals (1998) (1)
Equivalent Beliefs in Dynamic Doxastic Logic (2014) (1)
Ultraproducts of Admissible Models for Quantified Modal Logic (2016) (1)
Title: Solving Coherence Problems with Term Rewriting. Title: Canonical Extensions of Distributive-lattice-based Algebras via Boolean Topological Algebras Title: Knot Theory and Data Distribution Title: Proof Nets for Multiplicative-additive Linear Logic (2007) (1)
Modal Logics that Bound the Circumference of Transitive Frames (2019) (1)
A Model-Theoretic Study of Some Systems Containing S3 (1973) (1)
Modal logics for programs (1995) (1)
Advances in Modal Logic, Volume 7 (2007) (1)
Chapter 14. Local Truth (1984) (0)
Quantifiers, Propositions and Identity: IDENTITY (2011) (0)
Chapter 8. Intuitionism and its Logic (1984) (0)
Hyperreals Great and Small (1998) (0)
Association for Symbolic Logic (1991) (0)
Modal Logics of Some Hereditarily Irresolvable Spaces (2020) (0)
Cameo of a Consummate Computabilist (2017) (0)
Chapter 1. Mathematics = Set Theory? (1984) (0)
Canonicity Frameworks and Ultraproducts of Polarities (2018) (0)
Ultrapower Construction of the Hyperreals (1998) (0)
Chapter 13. Arithmetic (1984) (0)
Chapter 12. Categorial Set Theory (1984) (0)
L O ] 2 0 A ug 2 01 8 Canonical extensions and ultraproducts of polarities (2018) (0)
Constant Modal Logics and Canonicity (2006) (0)
Chapter 2. What Categories Are (1984) (0)
Tangled Closure Algebras (2016) (0)
A Trip on Einstein’s Train (1987) (0)
Review: Kenneth A. Bowen, Model Theory for Modal Logic. Kripke Models for Modal Predicate Calculi (1981) (0)
JSL volume 66 issue 4 Cover and Back matter (2001) (0)
Index of Definitions (2021) (0)
Completeness of Pledger’s modal logics of one-sorted projective and elliptic planes (2020) (0)
Completion by Enlargement (1998) (0)
What is the Coalgebrai Analogue of Birkho ' sVariety Theorem ? (2000) (0)
Chapter 7. Algebra of Subobjects (1984) (0)
Canonicity in power and modal logics of finite achronal width (2022) (0)
Chapter 16. Logical Geometry (1984) (0)
Association for Symbolic Logic (1993) (0)
Topological Proofs of Some Rasiowa-Sikorski Lemmas (2012) (0)
Chapter 11. Elementary Truth (1984) (0)
Chapter 9. Functors (1984) (0)
Chapter 15. Adjointness and Quantifiers (1984) (0)
Chapter 10. Set Concepts and Validity (1984) (0)
Definable Operators on Stable Set Lattices (2020) (0)
Foreword (2006) (0)
Catalogue of Notation (1984) (0)
Topology of the Reals (1998) (0)
Internal and External Sets (1998) (0)
Internal Functions and Hyperfinite Sets (1998) (0)
Universes and Frameworks (1998) (0)
Chapter 4. Introducing Topoi (1984) (0)
“Locally-at” as a Topological Quantifier-Former (1981) (0)
Commutativity of Quantifiers in Varying-Domain (2009) (0)
Chapter 5. Topos Structure: First Steps (1984) (0)
Quantifiers, Propositions and Identity: THE BARCAN FORMULAS (2011) (0)
The Finite Model Property for Logics with the Tangle Modality (2017) (0)
Quantifiers, Propositions and Identity: INTRODUCTION AND OVERVIEW (2011) (0)
The Power of a Propositional Constant (2012) (0)
The Transfer Principle (1998) (0)
Canonical extensions and ultraproducts of polarities (2018) (0)
Quantifiers, Propositions and Identity: COVER SEMANTICS FOR RELEVANT LOGIC (2011) (0)
PROPOSITIONAL FUNCTIONS AND PREDICATE SUBSTITUTION (2011) (0)
Books on Nonstandard Analysis (1998) (0)
The Existence of Nonstandard Entities (1998) (0)
Permanence, Comprehensiveness, Saturation (1998) (0)
Quantifiers, Propositions and Identity: LOGICS WITH ACTUALIST QUANTIFIERS (2011) (0)
The Riemann Integral (1998) (0)
Chapter 6. Logic Classically Conceived (1984) (0)
Editorial Board (2008) (0)

This paper list is powered by the following services:

Other Resources About Robert Goldblatt

en.wikipedia.org

What Schools Are Affiliated With Robert Goldblatt?

Robert Goldblatt is affiliated with the following schools: