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