## Goldblatt, Robert Ian

Compute Distance To:
 Author ID: goldblatt.robert-ian Published as: Goldblatt, Robert; Goldblatt, R. I.; Goldblatt, R.; Goldblatt, Robert Ian; Goldblatt, Robert I. External Links: MGP · Wikidata · dblp · IdRef
 Documents Indexed: 92 Publications since 1972, including 9 Books 4 Contributions as Editor Co-Authors: 20 Co-Authors with 24 Joint Publications 460 Co-Co-Authors
all top 5

### Co-Authors

 71 single-authored 9 Hodkinson, Ian Martin 2 Downey, Rodney Graham 2 Mares, Edwin D. 2 Venema, Yde 1 Akishev, Galym 1 Andréka, Hajnal 1 Areces, Carlos 1 Brendle, Jörg 1 Clouston, Ranald A. 1 Cresswell, Mary Meyerhoff 1 Cresswell, Maxwell John 1 Friggens, David 1 Grice, Matt 1 Jackson, Marcel G. 1 Kim, Byunghan 1 Kowalski, Tomasz 1 Németi, István 1 Salibra, Antonino 1 Segerberg, Krister 1 Thomason, Steven K.
all top 5

### Serials

 12 Studia Logica 7 The Journal of Symbolic Logic 5 Annals of Pure and Applied Logic 4 Notre Dame Journal of Formal Logic 3 Algebra Universalis 3 Journal of Philosophical Logic 3 Theoretical Computer Science 3 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 2 Reports on Mathematical Logic 2 Journal of Logic and Computation 2 CSLI Lecture Notes 2 Studies in Logic and the Foundations of Mathematics 2 The Review of Symbolic Logic 1 Bulletin of the Australian Mathematical Society 1 Bulletin of the London Mathematical Society 1 Logique et Analyse. Nouvelle Série 1 Information and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Topology Proceedings 1 The Bulletin of Symbolic Logic 1 Logic Journal of the IGPL 1 Journal of Universal Computer Science 1 ACM Transactions on Computational Logic 1 Journal of Applied Logic 1 The Australasian Journal of Logic 1 Graduate Texts in Mathematics 1 Lecture Notes in Computer Science 1 Lecture Notes in Logic 1 Categories and General Algebraic Structures with Applications 1 Universitext
all top 5

### Fields

 84 Mathematical logic and foundations (03-XX) 16 Computer science (68-XX) 13 Category theory; homological algebra (18-XX) 12 Order, lattices, ordered algebraic structures (06-XX) 11 General algebraic systems (08-XX) 10 General topology (54-XX) 4 General and overarching topics; collections (00-XX) 3 Combinatorics (05-XX) 2 History and biography (01-XX) 2 Geometry (51-XX) 2 Relativity and gravitational theory (83-XX) 1 Real functions (26-XX) 1 Measure and integration (28-XX) 1 Quantum theory (81-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

### Citations contained in zbMATH Open

74 Publications have been cited 931 times in 725 Documents Cited by Year
Varieties of complex algebras. Zbl 0722.08005
Goldblatt, Robert
1989
Logics of time and computation. Zbl 0635.03024
Goldblatt, Robert
1987
Topoi. The categorial analysis of logic. Zbl 0434.03050
Goldblatt, Robert
1979
Semantic analysis of orthologic. Zbl 0278.02023
Goldblatt, R. I.
1974
Lectures on the hyperreals. An introduction to nonstandard analysis. Zbl 0911.03032
Goldblatt, Robert
1998
Metamathematics of modal logic. I. Zbl 0356.02016
Goldblatt, R. I.
1976
Topoi. The categorial analysis of logic. Rev. ed. Zbl 0528.03039
Goldblatt, Robert
1984
Mathematics of modality. Zbl 0942.03516
Goldblatt, Robert
1993
Axiomatising the logic of computer programming. Zbl 0474.68045
Goldblatt, Robert
1982
Diodorean modality in Minkowski spacetime. Zbl 0457.03019
Goldblatt, Robert
1980
Orthomodularity is not elementary. Zbl 0593.03042
Goldblatt, Robert
1984
Mathematical modal logic: A view of its evolution. Zbl 1041.03015
Goldblatt, Robert
2003
Parallel action: Concurrent dynamic logic with independent modalities. Zbl 0784.03019
Goldblatt, Robert
1992
Axiomatic classes in propositional modal logic. Zbl 0325.02012
Goldblatt, R. I.; Thomason, S. K.
1975
On the role of the Baire category theorem and dependent choice in the foundations of logic. Zbl 0567.03023
Goldblatt, Robert
1985
Grothendieck topology as geometric modality. Zbl 0474.03018
Goldblatt, Robert I.
1981
Metamathematics of modal logic. II. Zbl 0356.02017
Goldblatt, R. I.
1977
Elementary generation and canonicity for varieties of Boolean algebras with operators. Zbl 0854.06020
Goldblatt, R.
1995
The Stone space of an ortholattice. Zbl 0301.06006
Goldblatt, R. I.
1975
Deduction systems for coalgebras over measurable spaces. Zbl 1220.03054
Goldblatt, Robert
2010
An alternative semantics for quantified relevant logic. Zbl 1100.03011
Mares, Edwin D.; Goldblatt, Robert
2006
Topoi. The categorial analysis of logic. (Toposy. Kategornyj analiz logiki). Transl. from the English. Zbl 0542.03045
Goldblatt, Robert
1983
Algebraic polymodal logic: A survey. Zbl 1012.03060
Goldblatt, Robert
2000
First-order definability in modal logic. Zbl 0311.02029
Goldblatt, R. I.
1975
The McKinsey axiom is not canonical. Zbl 0744.03019
Goldblatt, Robert
1991
Orthogonality and spacetime geometry. Zbl 0622.51001
Goldblatt, Robert
1987
Persistence and atomic generation for varieties of Boolean algebras with operators. Zbl 0996.06008
Goldblatt, Robert
2001
Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics. Zbl 1270.03005
Goldblatt, Robert
2011
Erdős graphs resolve Fine’s canonicity problem. Zbl 1060.03038
Goldblatt, Robert; Hodkinson, Ian; Venema, Yde
2004
The McKinsey-Lemmon logic is barely canonical. Zbl 1168.03320
Goldblatt, Robert; Hodkinson, Ian
2007
What is the coalgebraic analogue of Birkhoff’s variety theorem? Zbl 0989.68099
Goldblatt, R.
2001
Metamathematics of modal logic. Zbl 0273.02016
Goldblatt, Robert Ian
1974
Final coalgebras and the Hennessy-Milner property. Zbl 1099.03019
Goldblatt, Robert
2006
Canonical extensions and ultraproducts of polarities. Zbl 06963511
Goldblatt, Robert
2018
An algebraic study of well-foundedness. Zbl 0611.03030
Goldblatt, Robert
1985
On closure under canonical embedding algebras. Zbl 0757.08004
Goldblatt, Robert
1991
A finite equational axiomatization of the functional algebras for the lambda calculus. Zbl 0920.03025
Salibra, Antonino; Goldblatt, Robert
1999
Spatial logic of tangled closure operators and modal mu-calculus. Zbl 1422.03034
Goldblatt, Robert; Hodkinson, Ian
2017
Well-structured program equivalence is highly undecidable. Zbl 1351.68073
Goldblatt, Robert; Jackson, Marcel
2012
Akishev, Galym; Goldblatt, Robert
2010
Equational logic of polynomial coalgebras. Zbl 1083.03056
Goldblatt, Robert
2003
Cover semantics for quantified lax logic. Zbl 1247.03028
Goldblatt, Robert
2011
Topological proofs of some Rasiowa-Sikorski lemmas. Zbl 1259.06009
Goldblatt, Robert
2012
Duality for some categories of coalgebras. Zbl 1061.18004
Goldblatt, Robert
2001
The functional lambda abstraction algebras form a variety. Zbl 0940.03071
Goldblatt, Robert
1997
Commutativity of quantifiers in varying-domain Kripke models. Zbl 1167.03016
Goldblatt, Robert; Hodkinson, Ian
2009
Decidability of some extensions of J. Zbl 0306.02045
Goldblatt, R. I.
1974
Conservativity of Heyting implication over relevant quantification. Zbl 1170.03010
Goldblatt, Robert
2009
The tangled derivative logic of the real line and zero-dimensional spaces. Zbl 1400.03042
Goldblatt, Robert; Hodkinson, Ian
2016
A modal proof theory for final polynomial coalgebras. Zbl 1097.68091
Friggens, David; Goldblatt, Robert
2006
A general semantics for quantified modal logic. Zbl 1150.03007
Goldblatt, Robert; Mares, Edwin D.
2006
The power of a propositional constant. Zbl 1341.03029
Goldblatt, Robert; Kowalski, Tomasz
2014
The semantics of Hoare’s iteration rule. Zbl 0597.03013
Goldblatt, Robert
1982
Relativised quantification: Some canonical varieties of sequence-set algebras. Zbl 0907.03029
Andréka, Hajnal; Goldblatt, Robert; Németi, István
1998
On canonical modal logics that are not elementarily determined. Zbl 1060.03037
Goldblatt, Robert; Hodkinson, Ian; Venema, Yde
2003
Enlargements of functional algebras for the lambda calculus. Zbl 0901.03016
Goldblatt, Robert
1998
Functional monadic bounded algebras. Zbl 1208.03038
Goldblatt, Robert
2010
Solution to a completeness problem of Lemmon and Scott. Zbl 0258.02025
Goldblatt, R. I.
1975
A calculus of terms for coalgebras of polynomial functors. Zbl 1260.68239
Goldblatt, Robert
2001
Observational ultraproducts of polynomial coalgebras. Zbl 1037.03034
Goldblatt, Robert
2003
A Kripke-Joyal semantics for noncommutative logic in quantales. Zbl 1144.03039
Goldblatt, Robert
2006
Covarieties of coalgebras: Comonads and coequations. Zbl 1169.68526
Clouston, Ranald; Goldblatt, Robert
2005
Maps and monads for modal frames. Zbl 1106.03057
Goldblatt, Robert
2006
Quasi-modal equivalence of canonical structures. Zbl 0990.03011
Goldblatt, Robert
2001
Advances in modal logic. Vol. 7. Proceedings of the 7th conference (AiML 2008), Nancy, France, September 9–12, 2008. Zbl 1200.03008
2008
Axiomatic classes of intuitionistic models. Zbl 1120.03008
Goldblatt, R.
2005
On semantics for intuitionist modal logics. Zbl 0226.02016
Goldblatt, R. I.
1972
An admissible semantics for propositionally quantified relevant logics. Zbl 1191.03015
Goldblatt, Robert; Kane, Michael
2010
Proceedings of the 12th Asian logic conference, Wellington, New Zealand, December 15–20, 2011. Zbl 1318.03005
2013
Enlargements of polynomial coalgebras. Zbl 1052.03013
Goldblatt, Robert
2003
Modal logics that bound the circumference of transitive frames. Zbl 07442315
Goldblatt, Robert
2021
The finite model property for logics with the tangle modality. Zbl 1437.03087
Goldblatt, Robert; Hodkinson, Ian
2018
Mereocompactness and duality for mereotopological spaces. Zbl 1439.03023
Goldblatt, Robert; Grice, Matt
2016
The countable Henkin principle. Zbl 1347.03063
Goldblatt, Robert
2014
Modal logics that bound the circumference of transitive frames. Zbl 07442315
Goldblatt, Robert
2021
Canonical extensions and ultraproducts of polarities. Zbl 06963511
Goldblatt, Robert
2018
The finite model property for logics with the tangle modality. Zbl 1437.03087
Goldblatt, Robert; Hodkinson, Ian
2018
Spatial logic of tangled closure operators and modal mu-calculus. Zbl 1422.03034
Goldblatt, Robert; Hodkinson, Ian
2017
The tangled derivative logic of the real line and zero-dimensional spaces. Zbl 1400.03042
Goldblatt, Robert; Hodkinson, Ian
2016
Mereocompactness and duality for mereotopological spaces. Zbl 1439.03023
Goldblatt, Robert; Grice, Matt
2016
The power of a propositional constant. Zbl 1341.03029
Goldblatt, Robert; Kowalski, Tomasz
2014
The countable Henkin principle. Zbl 1347.03063
Goldblatt, Robert
2014
Proceedings of the 12th Asian logic conference, Wellington, New Zealand, December 15–20, 2011. Zbl 1318.03005
2013
Well-structured program equivalence is highly undecidable. Zbl 1351.68073
Goldblatt, Robert; Jackson, Marcel
2012
Topological proofs of some Rasiowa-Sikorski lemmas. Zbl 1259.06009
Goldblatt, Robert
2012
Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics. Zbl 1270.03005
Goldblatt, Robert
2011
Cover semantics for quantified lax logic. Zbl 1247.03028
Goldblatt, Robert
2011
Deduction systems for coalgebras over measurable spaces. Zbl 1220.03054
Goldblatt, Robert
2010
Akishev, Galym; Goldblatt, Robert
2010
Functional monadic bounded algebras. Zbl 1208.03038
Goldblatt, Robert
2010
An admissible semantics for propositionally quantified relevant logics. Zbl 1191.03015
Goldblatt, Robert; Kane, Michael
2010
Commutativity of quantifiers in varying-domain Kripke models. Zbl 1167.03016
Goldblatt, Robert; Hodkinson, Ian
2009
Conservativity of Heyting implication over relevant quantification. Zbl 1170.03010
Goldblatt, Robert
2009
Advances in modal logic. Vol. 7. Proceedings of the 7th conference (AiML 2008), Nancy, France, September 9–12, 2008. Zbl 1200.03008
2008
The McKinsey-Lemmon logic is barely canonical. Zbl 1168.03320
Goldblatt, Robert; Hodkinson, Ian
2007
An alternative semantics for quantified relevant logic. Zbl 1100.03011
Mares, Edwin D.; Goldblatt, Robert
2006
Final coalgebras and the Hennessy-Milner property. Zbl 1099.03019
Goldblatt, Robert
2006
A modal proof theory for final polynomial coalgebras. Zbl 1097.68091
Friggens, David; Goldblatt, Robert
2006
A general semantics for quantified modal logic. Zbl 1150.03007
Goldblatt, Robert; Mares, Edwin D.
2006
A Kripke-Joyal semantics for noncommutative logic in quantales. Zbl 1144.03039
Goldblatt, Robert
2006
Maps and monads for modal frames. Zbl 1106.03057
Goldblatt, Robert
2006
Covarieties of coalgebras: Comonads and coequations. Zbl 1169.68526
Clouston, Ranald; Goldblatt, Robert
2005
Axiomatic classes of intuitionistic models. Zbl 1120.03008
Goldblatt, R.
2005
Erdős graphs resolve Fine’s canonicity problem. Zbl 1060.03038
Goldblatt, Robert; Hodkinson, Ian; Venema, Yde
2004
Mathematical modal logic: A view of its evolution. Zbl 1041.03015
Goldblatt, Robert
2003
Equational logic of polynomial coalgebras. Zbl 1083.03056
Goldblatt, Robert
2003
On canonical modal logics that are not elementarily determined. Zbl 1060.03037
Goldblatt, Robert; Hodkinson, Ian; Venema, Yde
2003
Observational ultraproducts of polynomial coalgebras. Zbl 1037.03034
Goldblatt, Robert
2003
Enlargements of polynomial coalgebras. Zbl 1052.03013
Goldblatt, Robert
2003
Persistence and atomic generation for varieties of Boolean algebras with operators. Zbl 0996.06008
Goldblatt, Robert
2001
What is the coalgebraic analogue of Birkhoff’s variety theorem? Zbl 0989.68099
Goldblatt, R.
2001
Duality for some categories of coalgebras. Zbl 1061.18004
Goldblatt, Robert
2001
A calculus of terms for coalgebras of polynomial functors. Zbl 1260.68239
Goldblatt, Robert
2001
Quasi-modal equivalence of canonical structures. Zbl 0990.03011
Goldblatt, Robert
2001
Algebraic polymodal logic: A survey. Zbl 1012.03060
Goldblatt, Robert
2000
A finite equational axiomatization of the functional algebras for the lambda calculus. Zbl 0920.03025
Salibra, Antonino; Goldblatt, Robert
1999
Lectures on the hyperreals. An introduction to nonstandard analysis. Zbl 0911.03032
Goldblatt, Robert
1998
Relativised quantification: Some canonical varieties of sequence-set algebras. Zbl 0907.03029
Andréka, Hajnal; Goldblatt, Robert; Németi, István
1998
Enlargements of functional algebras for the lambda calculus. Zbl 0901.03016
Goldblatt, Robert
1998
The functional lambda abstraction algebras form a variety. Zbl 0940.03071
Goldblatt, Robert
1997
Elementary generation and canonicity for varieties of Boolean algebras with operators. Zbl 0854.06020
Goldblatt, R.
1995
Mathematics of modality. Zbl 0942.03516
Goldblatt, Robert
1993
Parallel action: Concurrent dynamic logic with independent modalities. Zbl 0784.03019
Goldblatt, Robert
1992
The McKinsey axiom is not canonical. Zbl 0744.03019
Goldblatt, Robert
1991
On closure under canonical embedding algebras. Zbl 0757.08004
Goldblatt, Robert
1991
Varieties of complex algebras. Zbl 0722.08005
Goldblatt, Robert
1989
Logics of time and computation. Zbl 0635.03024
Goldblatt, Robert
1987
Orthogonality and spacetime geometry. Zbl 0622.51001
Goldblatt, Robert
1987
On the role of the Baire category theorem and dependent choice in the foundations of logic. Zbl 0567.03023
Goldblatt, Robert
1985
An algebraic study of well-foundedness. Zbl 0611.03030
Goldblatt, Robert
1985
Topoi. The categorial analysis of logic. Rev. ed. Zbl 0528.03039
Goldblatt, Robert
1984
Orthomodularity is not elementary. Zbl 0593.03042
Goldblatt, Robert
1984
Topoi. The categorial analysis of logic. (Toposy. Kategornyj analiz logiki). Transl. from the English. Zbl 0542.03045
Goldblatt, Robert
1983
Axiomatising the logic of computer programming. Zbl 0474.68045
Goldblatt, Robert
1982
The semantics of Hoare’s iteration rule. Zbl 0597.03013
Goldblatt, Robert
1982
Grothendieck topology as geometric modality. Zbl 0474.03018
Goldblatt, Robert I.
1981
Diodorean modality in Minkowski spacetime. Zbl 0457.03019
Goldblatt, Robert
1980
Topoi. The categorial analysis of logic. Zbl 0434.03050
Goldblatt, Robert
1979
Metamathematics of modal logic. II. Zbl 0356.02017
Goldblatt, R. I.
1977
Metamathematics of modal logic. I. Zbl 0356.02016
Goldblatt, R. I.
1976
Axiomatic classes in propositional modal logic. Zbl 0325.02012
Goldblatt, R. I.; Thomason, S. K.
1975
The Stone space of an ortholattice. Zbl 0301.06006
Goldblatt, R. I.
1975
First-order definability in modal logic. Zbl 0311.02029
Goldblatt, R. I.
1975
Solution to a completeness problem of Lemmon and Scott. Zbl 0258.02025
Goldblatt, R. I.
1975
Semantic analysis of orthologic. Zbl 0278.02023
Goldblatt, R. I.
1974
Metamathematics of modal logic. Zbl 0273.02016
Goldblatt, Robert Ian
1974
Decidability of some extensions of J. Zbl 0306.02045
Goldblatt, R. I.
1974
On semantics for intuitionist modal logics. Zbl 0226.02016
Goldblatt, R. I.
1972
all top 5

### Cited by 702 Authors

 32 Goldblatt, Robert Ian 16 Hodkinson, Ian Martin 14 Gehrke, Mai 13 Venema, Yde 12 Bezhanishvili, Guram 10 Vakarelov, Dimiter 9 Nishimura, Hirokazu 9 Rybakov, Vladimir Vladimirovich 9 Wolter, Frank 8 Andréka, Hajnal 8 Celani, Sergio Arturo 8 Höhle, Ulrich 8 van Benthem, Johan F. A. K. 7 Balbiani, Philippe 7 Bezhanishvili, Nick 7 Bottazzi, Emanuele 7 Katz, Mikhail G. 7 Németi, István 7 Provotar, A. I. 6 Dalla Chiara, Maria Luisa 6 Hartonas, Chrysafis 6 Hirsch, Robin 6 Litak, Tadeusz 6 Pavičić, Mladen 6 Sayed Ahmed, Tarek 6 Struth, Georg 6 Zakharyaschev, Michael Viktorovich 5 Di Nasso, Mauro 5 Döring, Andreas 5 Freytes, Hector 5 Giuntini, Roberto 5 Goranko, Valentin F. 5 Khalfallah, Adel 5 Mardare, Radu 5 Mares, Edwin D. 5 Palmigiano, Alessandra 5 Salibra, Antonino 5 ten Cate, Balder David 5 van Ditmarsch, Hans Pieter 5 Yashin, Aleksandr D. 4 Benevides, Mario R. F. 4 Cattaneo, Gianpiero 4 Doberkat, Ernst-Erich 4 Furusawa, Hitoshi 4 Ghilardi, Silvio 4 Haeusler, Edward Hermann 4 Holliday, Wesley H. 4 Humberstone, Lloyd 4 Isham, Chris J. 4 Kawahara, Yasuo 4 Kooi, Barteld Pieter 4 Kupke, Clemens 4 Larsen, Kim Guldstrand 4 Ledda, Antonio 4 Orłowska, Ewa S. 4 Priestley, Hilary A. 4 Smets, Sonja J. L. 4 Székely, Gergely 4 Tinchev, Tinko 4 van der Hoek, Wiebe 3 Alechina, Natasha 3 Badia, Guillermo 3 Baltag, Alexandru 3 Benci, Vieri 3 Bimbó, Katalin 3 Bugajski, Sławomir 3 Carai, Luca 3 Conradie, Willem 3 Dawson, C. Bryan 3 Demri, Stéphane P. 3 Domenech, Graciela 3 Düntsch, Ivo 3 Dunn, Jon Michael 3 Ferenczi, Miklós 3 Fussner, Wesley 3 Gabelaia, David 3 Ghosh, Sujata 3 Harding, John 3 Haviar, Miroslav 3 Heunen, Chris 3 Indrzejczak, Andrzej 3 Jackson, Marcel G. 3 Katz, Karin Usadi 3 Kikot, Stanislav 3 Kishida, Kohei 3 König, Harald 3 Kosarew, Siegmund 3 Koutras, Costas D. 3 Kowalski, Tomasz 3 Kracht, Marcus 3 Kurz, Alexander 3 Kutz, Oliver 3 Landsman, Nicolaas P. 3 Lopes, Bruno Domeniciano 3 Madarász, Judit X. 3 Mikulás, Szabolcs 3 Möller, Bernhard 3 Oriat, C. 3 Paoli, Francesco 3 Restall, Greg ...and 602 more Authors
all top 5

### Cited in 128 Serials

 71 Studia Logica 41 Journal of Philosophical Logic 34 Theoretical Computer Science 34 Annals of Pure and Applied Logic 31 International Journal of Theoretical Physics 31 The Journal of Symbolic Logic 28 Journal of Applied Non-Classical Logics 23 Synthese 19 Fuzzy Sets and Systems 18 Algebra Universalis 17 The Review of Symbolic Logic 16 Notre Dame Journal of Formal Logic 13 Journal of Logical and Algebraic Methods in Programming 12 The Bulletin of Symbolic Logic 11 Cybernetics and Systems Analysis 11 Journal of Logic, Language and Information 8 Journal of Mathematical Physics 7 Artificial Intelligence 7 Information and Computation 7 Mathematical Logic Quarterly (MLQ) 7 Journal of Applied Logic 6 Proceedings of the American Mathematical Society 6 Logica Universalis 5 Information Processing Letters 5 Algebra and Logic 5 Journal of Pure and Applied Algebra 5 Transactions of the American Mathematical Society 5 MSCS. Mathematical Structures in Computer Science 5 Annals of Mathematics and Artificial Intelligence 5 Foundations of Science 5 Logical Methods in Computer Science 4 Mathematical Notes 4 Advances in Mathematics 4 Order 4 Formal Aspects of Computing 4 Applied Categorical Structures 4 Diagrammes 4 Foundations of Physics 3 Discrete Mathematics 3 International Journal of Approximate Reasoning 3 Automation and Remote Control 3 Archive for Mathematical Logic 3 Indagationes Mathematicae. New Series 3 Journal of Mathematical Sciences (New York) 3 Soft Computing 3 The Journal of Logic and Algebraic Programming 3 ACM Transactions on Computational Logic 2 Acta Informatica 2 Communications in Mathematical Physics 2 Czechoslovak Mathematical Journal 2 Information Sciences 2 International Journal of Circuit Theory and Applications 2 Journal of Algebra 2 Journal of Economic Theory 2 Journal of Mathematical Economics 2 Mathematica Slovaca 2 Topology and its Applications 2 Journal of Symbolic Computation 2 Erkenntnis 2 Logic and Logical Philosophy 2 Journal of Logic and Analysis 2 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 2 $$p$$-Adic Numbers, Ultrametric Analysis, and Applications 2 Axiomathes 2 Journal of Siberian Federal University. Mathematics & Physics 1 American Mathematical Monthly 1 Archiv für Mathematische Logik und Grundlagenforschung 1 Communications in Algebra 1 Computers & Mathematics with Applications 1 International Journal of General Systems 1 Israel Journal of Mathematics 1 Journal of Mathematical Analysis and Applications 1 Problems of Information Transmission 1 Reports on Mathematical Physics 1 Rocky Mountain Journal of Mathematics 1 Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 1 Canadian Mathematical Bulletin 1 Geometriae Dedicata 1 Publications Mathématiques 1 International Journal of Mathematics and Mathematical Sciences 1 Journal of Computer and System Sciences 1 Journal of Differential Equations 1 Mathematische Zeitschrift 1 Monatshefte für Mathematik 1 Proceedings of the London Mathematical Society. Third Series 1 Publications de l’Institut Mathématique. Nouvelle Série 1 Quaestiones Mathematicae 1 Theory and Decision 1 Mathematical Social Sciences 1 Combinatorica 1 Acta Applicandae Mathematicae 1 Physica D 1 Mathematical and Computer Modelling 1 Forum Mathematicum 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 International Journal of Algebra and Computation 1 Artificial Intelligence Review 1 Historia Mathematica 1 Expositiones Mathematicae 1 Distributed Computing ...and 28 more Serials
all top 5

### Cited in 45 Fields

 563 Mathematical logic and foundations (03-XX) 161 Computer science (68-XX) 110 Order, lattices, ordered algebraic structures (06-XX) 87 Category theory; homological algebra (18-XX) 63 Quantum theory (81-XX) 43 General topology (54-XX) 31 Real functions (26-XX) 25 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 22 General algebraic systems (08-XX) 17 General and overarching topics; collections (00-XX) 17 Functional analysis (46-XX) 16 Relativity and gravitational theory (83-XX) 14 Combinatorics (05-XX) 11 History and biography (01-XX) 11 Number theory (11-XX) 10 Probability theory and stochastic processes (60-XX) 8 Field theory and polynomials (12-XX) 8 Group theory and generalizations (20-XX) 6 Algebraic geometry (14-XX) 6 Associative rings and algebras (16-XX) 6 Geometry (51-XX) 6 Systems theory; control (93-XX) 5 Commutative algebra (13-XX) 5 Operator theory (47-XX) 4 Measure and integration (28-XX) 4 Differential geometry (53-XX) 3 Dynamical systems and ergodic theory (37-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Topological groups, Lie groups (22-XX) 2 Several complex variables and analytic spaces (32-XX) 2 Partial differential equations (35-XX) 2 Global analysis, analysis on manifolds (58-XX) 2 Mechanics of particles and systems (70-XX) 2 Statistical mechanics, structure of matter (82-XX) 2 Operations research, mathematical programming (90-XX) 2 Information and communication theory, circuits (94-XX) 1 Functions of a complex variable (30-XX) 1 Ordinary differential equations (34-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Algebraic topology (55-XX) 1 Manifolds and cell complexes (57-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Biology and other natural sciences (92-XX) 1 Mathematics education (97-XX)

### Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.