Edit Profile (opens in new tab) Hodkinson, Ian Martin Compute Distance To: Compute Author ID: hodkinson.ian-martin Published as: Hodkinson, Ian; Hodkinson, I. M.; Hodkinson, I.; Hodkinson, Ian Martin more...less Documents Indexed: 75 Publications since 1985, including 2 Books 1 Contribution as Editor · 1 Further Contribution Co-Authors: 35 Co-Authors with 59 Joint Publications 1,047 Co-Co-Authors all top 5 Co-Authors 18 single-authored 19 Hirsch, Robin 9 Goldblatt, Robert Ian 6 Venema, Yde 5 Gabbay, Dov M. 5 Reynolds, Mark Alexander 4 Bezhanishvili, Nick 4 Mikulás, Szabolcs 3 Hodges, Wilfrid 3 Maddux, Roger D. 3 Wolter, Frank 3 Zakharyaschev, Michael Viktorovich 2 Shelah, Saharon 1 Andréka, Hajnal 1 Barringer, Howard 1 Brough, Derek 1 Bulian, Jannis 1 Evans, David M. 1 Gough, Graham 1 Governatori, Guido 1 Hunter, Anthony 1 Hussain, Altaf 1 Jackson, Marcel G. 1 Lascar, Daniel 1 Macpherson, Dugald 1 Macpherson, Hugh Dugald 1 Marx, Maarten 1 McBrien, Peter 1 Montanari, Angelo 1 Németi, István 1 Otto, Martin 1 Owens, Richard 1 Paternault, Louis 1 Sciavicco, Guido 1 Simon, András 1 Tahiri, Hicham 1 van Benthem, Johan F. A. K. all top 5 Serials 10 The Journal of Symbolic Logic 9 Annals of Pure and Applied Logic 5 Algebra Universalis 5 Studia Logica 3 Journal of Logic and Computation 3 The Bulletin of Symbolic Logic 3 The Review of Symbolic Logic 2 Journal of Philosophical Logic 2 Theoretical Computer Science 2 Transactions of the American Mathematical Society 2 Bulletin of the European Association for Theoretical Computer Science (EATCS) 2 The Australasian Journal of Logic 1 Journal of the London Mathematical Society. Second Series 1 Logique et Analyse. Nouvelle Série 1 Notre Dame Journal of Formal Logic 1 Proceedings of the American Mathematical Society 1 Proceedings of the London Mathematical Society. Third Series 1 Forum Mathematicum 1 Journal of the IGPL 1 Logic Journal of the IGPL 1 Journal of Applied Logic 1 Seminarbericht, Humboldt-Universität zu Berlin, Sektion Mathematik 1 Oxford Logic Guides 1 Studies in Logic and the Foundations of Mathematics 1 Categories and General Algebraic Structures with Applications all top 5 Fields 74 Mathematical logic and foundations (03-XX) 8 Combinatorics (05-XX) 8 Order, lattices, ordered algebraic structures (06-XX) 8 Computer science (68-XX) 5 General algebraic systems (08-XX) 4 General topology (54-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 General and overarching topics; collections (00-XX) 1 Commutative algebra (13-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Associative rings and algebras (16-XX) 1 Group theory and generalizations (20-XX) 1 Geometry (51-XX) 1 Convex and discrete geometry (52-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 58 Publications have been cited 681 times in 426 Documents Cited by ▼ Year ▼ Temporal logic. Vol. 1. Mathematical foundations and computational aspects. Zbl 0921.03023Gabbay, Dov M.; Hodkinson, Ian; Reynolds, Mark 99 1994 Relation algebras by games. Zbl 1018.03002Hirsch, Robin; Hodkinson, Ian 82 2002 The small index property for \(\omega\)-stable \(\omega\)-categorical structures and for the random graph. Zbl 0788.03039Hodges, Wilfrid; Hodkinson, Ian; Lascar, Daniel; Shelah, Saharon 61 1993 Decidable fragments of first-order temporal logics. Zbl 0999.03015Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael 39 2000 An axiomatization of the temporal logic with until and since over the real numbers. Zbl 0744.03018Gabbay, D. M.; Hodkinson, I. M. 32 1990 Complete representations in algebraic logic. Zbl 0893.03025Hirsch, Robin; Hodkinson, Ian 30 1997 Representability is not decidable for finite relation algebras. Zbl 0965.03079Hirsch, Robin; Hodkinson, Ian 24 2001 Atom structures of cylindric algebras and relation algebras. Zbl 0898.03025Hodkinson, Ian 22 1997 Step by step – Building representations in algebraic logic. Zbl 0879.03018Hirsch, Robin; Hodkinson, Ian 20 1997 Relation algebra reducts of cylindric algebras and an application to proof theory. Zbl 1005.03052Hirsch, Robin; Hodkinson, Ian; Maddux, Roger D. 15 2002 Loosely guarded fragment of first-order logic has the finite model property. Zbl 0998.03003Hodkinson, Ian 13 2002 Canonical varieties with no canonical axiomatisation. Zbl 1081.03062Hodkinson, Ian; Venema, Yde 13 2005 Omega-categoricity, relative categoricity and coordinatisation. Zbl 0699.03016Hodges, Wilfrid; Hodkinson, I. M.; Macpherson, Dugald 12 1990 Strongly representable atom structures of relation algebras. Zbl 1002.03054Hirsch, Robin; Hodkinson, Ian 10 2002 Finite algebras of relations are representable on finite sets. Zbl 0926.03078Andréka, H.; Hodkinson, I.; Németi, I. 10 1999 Axiomatizability of reducts of algebras of relations. Zbl 1011.03051Hodkinson, Ian; Mikulás, Szabolcs 10 2000 Finite conformal hypergraph covers and Gaifman cliques in finite structures. Zbl 1058.03031Hodkinson, Ian; Otto, Martin 9 2003 Monodic fragments of first-order temporal logics: 2000–2001 A.D. Zbl 1275.03088Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael 9 2001 On modal logics between \(\mathbf K\times\mathbf K\times\mathbf K\) and \(\mathbf S5\times\mathbf S5\times\mathbf S5\). Zbl 1002.03019Hirsch, R.; Hodkinson, I.; Kurucz, A. 9 2002 Monodic packed fragment with equality is decidable. Zbl 1011.03008Hodkinson, Ian 9 2002 Finite variable logics. Zbl 0788.03051Hodkinson, Ian 9 1993 Strongly representable atom structures of cylindric algebras. Zbl 1207.03073Hirsch, Robin; Hodkinson, Ian 8 2009 Sahlqvist correspondence for modal mu-calculus. Zbl 1404.03021van Benthem, Johan; Bezhanishvili, Nick; Hodkinson, Ian 8 2012 Relational structures determined by their finite induced substructures. Zbl 0647.03022Hodkinson, I. M.; Macpherson, H. D. 7 1988 The McKinsey-Lemmon logic is barely canonical. Zbl 1168.03320Goldblatt, Robert; Hodkinson, Ian 7 2007 Temporal logic in the context of databases. Zbl 0919.03018Gabbay, Dov; Hodkinson, Ian 7 1996 Erdős graphs resolve Fine’s canonicity problem. Zbl 1060.03038Goldblatt, Robert; Hodkinson, Ian; Venema, Yde 7 2004 Temporal expressive completeness in the presence of gaps. Zbl 0802.03016Gabbay, D. M.; Hodkinson, I. M.; Reynolds, M. A. 7 1993 Hybrid formulas and elementarily generated modal logics. Zbl 1211.03036Hodkinson, Ian 6 2006 Provability with finitely many variables. Zbl 1024.03010Hirsch, Robin; Hodkinson, Ian; Maddux, Roger D. 6 2002 Relation algebras with \(n\)-dimensional relational bases. Zbl 0953.03071Hirsch, Robin; Hodkinson, Ian 6 2000 Relation algebras from cylindric algebras. II. Zbl 1001.03058Hirsch, Robin; Hodkinson, Ian 6 2001 Spatial logic of tangled closure operators and modal mu-calculus. Zbl 1422.03034Goldblatt, Robert; Hodkinson, Ian 5 2017 Bare canonicity of representable cylindric and polyadic algebras. Zbl 1321.03077Bulian, Jannis; Hodkinson, Ian 5 2013 Complexity of monodic guarded fragments over linear and real time. Zbl 1093.03009Hodkinson, Ian 5 2006 Non-finite axiomatizability and undecidability of interval temporal logics with C, D, and T. Zbl 1156.03321Hodkinson, Ian; Montanari, Angelo; Sciavicco, Guido 5 2008 On non-local propositional and weak monodic quantified \(\mathcal{CTL}^{\ast}\). Zbl 1046.03007Bauer, Sebastian; Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael 5 2004 Sahlqvist theorem for modal fixed point logic. Zbl 1268.03020Bezhanishvili, Nick; Hodkinson, Ian 4 2012 Completions and complete representations. Zbl 1284.03271Hirsch, Robin; Hodkinson, Ian 3 2012 Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators. Zbl 1266.06017Bezhanishvili, Nick; Hodkinson, Ian 3 2012 Commutativity of quantifiers in varying-domain Kripke models. Zbl 1167.03016Goldblatt, Robert; Hodkinson, Ian 3 2009 Automorphisms of bounded abelian groups. Zbl 0753.20018Evans, David M.; Hodges, Wilfrid; Hodkinson, I. M. 3 1991 Finite \(H\)-dimension does not imply expressive completeness. Zbl 0811.03027Hodkinson, Ian 3 1994 Axiomatising various classes of relation and cylindric algebras. Zbl 0873.03051Hirsch, Robin; Hodkinson, Ian 3 1997 Relation algebras from cylindric algebras. I. Zbl 1001.03057Hirsch, Robin; Hodkinson, Ian 3 2001 The tangled derivative logic of the real line and zero-dimensional spaces. Zbl 1400.03042Goldblatt, Robert; Hodkinson, Ian 3 2016 A construction of cylindric and polyadic algebras from atomic relation algebras. Zbl 1263.03058Hodkinson, Ian 2 2012 On canonical modal logics that are not elementarily determined. Zbl 1060.03037Goldblatt, Robert; Hodkinson, Ian; Venema, Yde 2 2003 All normal extensions of S5-squared are finitely axiomatizable. Zbl 1069.03010Bezhanishvili, Nick; Hodkinson, Ian 2 2004 The \(k\)-variable property is stronger than H-dimension \(k\). Zbl 0976.03017Hodkinson, Ian; Simon, András 2 1997 Simple completeness proofs for some spatial logics of the real line. Zbl 1364.03032Hodkinson, Ian 1 2013 Weak representations of relation algebras and relational bases. Zbl 1260.03112Hirsch, Robin; Hodkinson, Ian; Maddux, Roger D. 1 2011 Separation – past, present, and future. Zbl 1272.03091Hodkinson, Ian; Reynolds, Mark 1 2005 Advances in modal logic. Vol. 6. Selected papers from the 6th conference (AiML 2006), Noosa, Australia, September 25–28, 2006. Zbl 1135.03001 1 2006 Axiomatizing complex algebras by games. Zbl 1063.08011Hodkinson, Ian; Mikulás, Szabolcs; Venema, Yde 1 2001 On Gabbay’s temporal fixed point operator. Zbl 0874.68272Hodkinson, Ian 1 1995 A modal logic of relations. (With appendix: “Mosaics and step-by-step”, by Robin Hirsch, Ian Hodkinson, Maarten Marx, Szabolcs Mikulás and Mark Reynolds). Zbl 0924.03030Venema, Yde; Marx, Maarten 1 1999 The finite model property for logics with the tangle modality. Zbl 1437.03087Goldblatt, Robert; Hodkinson, Ian 1 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 Bare canonicity of representable cylindric and polyadic algebras. Zbl 1321.03077Bulian, Jannis; Hodkinson, Ian 5 2013 Simple completeness proofs for some spatial logics of the real line. Zbl 1364.03032Hodkinson, Ian 1 2013 Sahlqvist correspondence for modal mu-calculus. Zbl 1404.03021van Benthem, Johan; Bezhanishvili, Nick; Hodkinson, Ian 8 2012 Sahlqvist theorem for modal fixed point logic. Zbl 1268.03020Bezhanishvili, Nick; Hodkinson, Ian 4 2012 Completions and complete representations. Zbl 1284.03271Hirsch, Robin; Hodkinson, Ian 3 2012 Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators. Zbl 1266.06017Bezhanishvili, Nick; Hodkinson, Ian 3 2012 A construction of cylindric and polyadic algebras from atomic relation algebras. Zbl 1263.03058Hodkinson, Ian 2 2012 Weak representations of relation algebras and relational bases. Zbl 1260.03112Hirsch, Robin; Hodkinson, Ian; Maddux, Roger D. 1 2011 Strongly representable atom structures of cylindric algebras. Zbl 1207.03073Hirsch, Robin; Hodkinson, Ian 8 2009 Commutativity of quantifiers in varying-domain Kripke models. Zbl 1167.03016Goldblatt, Robert; Hodkinson, Ian 3 2009 Non-finite axiomatizability and undecidability of interval temporal logics with C, D, and T. Zbl 1156.03321Hodkinson, Ian; Montanari, Angelo; Sciavicco, Guido 5 2008 The McKinsey-Lemmon logic is barely canonical. Zbl 1168.03320Goldblatt, Robert; Hodkinson, Ian 7 2007 Hybrid formulas and elementarily generated modal logics. Zbl 1211.03036Hodkinson, Ian 6 2006 Complexity of monodic guarded fragments over linear and real time. Zbl 1093.03009Hodkinson, Ian 5 2006 Advances in modal logic. Vol. 6. Selected papers from the 6th conference (AiML 2006), Noosa, Australia, September 25–28, 2006. Zbl 1135.03001 1 2006 Canonical varieties with no canonical axiomatisation. Zbl 1081.03062Hodkinson, Ian; Venema, Yde 13 2005 Separation – past, present, and future. Zbl 1272.03091Hodkinson, Ian; Reynolds, Mark 1 2005 Erdős graphs resolve Fine’s canonicity problem. Zbl 1060.03038Goldblatt, Robert; Hodkinson, Ian; Venema, Yde 7 2004 On non-local propositional and weak monodic quantified \(\mathcal{CTL}^{\ast}\). Zbl 1046.03007Bauer, Sebastian; Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael 5 2004 All normal extensions of S5-squared are finitely axiomatizable. Zbl 1069.03010Bezhanishvili, Nick; Hodkinson, Ian 2 2004 Finite conformal hypergraph covers and Gaifman cliques in finite structures. Zbl 1058.03031Hodkinson, Ian; Otto, Martin 9 2003 On canonical modal logics that are not elementarily determined. Zbl 1060.03037Goldblatt, Robert; Hodkinson, Ian; Venema, Yde 2 2003 Relation algebras by games. Zbl 1018.03002Hirsch, Robin; Hodkinson, Ian 82 2002 Relation algebra reducts of cylindric algebras and an application to proof theory. Zbl 1005.03052Hirsch, Robin; Hodkinson, Ian; Maddux, Roger D. 15 2002 Loosely guarded fragment of first-order logic has the finite model property. Zbl 0998.03003Hodkinson, Ian 13 2002 Strongly representable atom structures of relation algebras. Zbl 1002.03054Hirsch, Robin; Hodkinson, Ian 10 2002 On modal logics between \(\mathbf K\times\mathbf K\times\mathbf K\) and \(\mathbf S5\times\mathbf S5\times\mathbf S5\). Zbl 1002.03019Hirsch, R.; Hodkinson, I.; Kurucz, A. 9 2002 Monodic packed fragment with equality is decidable. Zbl 1011.03008Hodkinson, Ian 9 2002 Provability with finitely many variables. Zbl 1024.03010Hirsch, Robin; Hodkinson, Ian; Maddux, Roger D. 6 2002 Representability is not decidable for finite relation algebras. Zbl 0965.03079Hirsch, Robin; Hodkinson, Ian 24 2001 Monodic fragments of first-order temporal logics: 2000–2001 A.D. Zbl 1275.03088Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael 9 2001 Relation algebras from cylindric algebras. II. Zbl 1001.03058Hirsch, Robin; Hodkinson, Ian 6 2001 Relation algebras from cylindric algebras. I. Zbl 1001.03057Hirsch, Robin; Hodkinson, Ian 3 2001 Axiomatizing complex algebras by games. Zbl 1063.08011Hodkinson, Ian; Mikulás, Szabolcs; Venema, Yde 1 2001 Decidable fragments of first-order temporal logics. Zbl 0999.03015Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael 39 2000 Axiomatizability of reducts of algebras of relations. Zbl 1011.03051Hodkinson, Ian; Mikulás, Szabolcs 10 2000 Relation algebras with \(n\)-dimensional relational bases. Zbl 0953.03071Hirsch, Robin; Hodkinson, Ian 6 2000 Finite algebras of relations are representable on finite sets. Zbl 0926.03078Andréka, H.; Hodkinson, I.; Németi, I. 10 1999 A modal logic of relations. (With appendix: “Mosaics and step-by-step”, by Robin Hirsch, Ian Hodkinson, Maarten Marx, Szabolcs Mikulás and Mark Reynolds). Zbl 0924.03030Venema, Yde; Marx, Maarten 1 1999 Complete representations in algebraic logic. Zbl 0893.03025Hirsch, Robin; Hodkinson, Ian 30 1997 Atom structures of cylindric algebras and relation algebras. Zbl 0898.03025Hodkinson, Ian 22 1997 Step by step – Building representations in algebraic logic. Zbl 0879.03018Hirsch, Robin; Hodkinson, Ian 20 1997 Axiomatising various classes of relation and cylindric algebras. Zbl 0873.03051Hirsch, Robin; Hodkinson, Ian 3 1997 The \(k\)-variable property is stronger than H-dimension \(k\). Zbl 0976.03017Hodkinson, Ian; Simon, András 2 1997 Temporal logic in the context of databases. Zbl 0919.03018Gabbay, Dov; Hodkinson, Ian 7 1996 On Gabbay’s temporal fixed point operator. Zbl 0874.68272Hodkinson, Ian 1 1995 Temporal logic. Vol. 1. Mathematical foundations and computational aspects. Zbl 0921.03023Gabbay, Dov M.; Hodkinson, Ian; Reynolds, Mark 99 1994 Finite \(H\)-dimension does not imply expressive completeness. Zbl 0811.03027Hodkinson, Ian 3 1994 The small index property for \(\omega\)-stable \(\omega\)-categorical structures and for the random graph. Zbl 0788.03039Hodges, Wilfrid; Hodkinson, Ian; Lascar, Daniel; Shelah, Saharon 61 1993 Finite variable logics. Zbl 0788.03051Hodkinson, Ian 9 1993 Temporal expressive completeness in the presence of gaps. Zbl 0802.03016Gabbay, D. M.; Hodkinson, I. M.; Reynolds, M. A. 7 1993 Automorphisms of bounded abelian groups. Zbl 0753.20018Evans, David M.; Hodges, Wilfrid; Hodkinson, I. M. 3 1991 An axiomatization of the temporal logic with until and since over the real numbers. Zbl 0744.03018Gabbay, D. M.; Hodkinson, I. M. 32 1990 Omega-categoricity, relative categoricity and coordinatisation. Zbl 0699.03016Hodges, Wilfrid; Hodkinson, I. M.; Macpherson, Dugald 12 1990 Relational structures determined by their finite induced substructures. Zbl 0647.03022Hodkinson, I. M.; Macpherson, H. D. 7 1988 all cited Publications top 5 cited Publications all top 5 Cited by 398 Authors 28 Hodkinson, Ian Martin 21 Sayed Ahmed, Tarek 20 Hirsch, Robin 18 Andréka, Hajnal 17 Rybakov, Vladimir Vladimirovich 13 Reynolds, Mark Alexander 12 Németi, István 12 Rabinovich, Alexander 11 Givant, Steven R. 10 Mikulás, Szabolcs 8 Bezhanishvili, Nick 8 Goldblatt, Robert Ian 8 Venema, Yde 7 Jackson, Marcel G. 7 Maddux, Roger D. 6 Gabbay, Dov M. 6 Wolter, Frank 5 Alm, Jeremy F. 5 Kurucz, Agi 5 Macpherson, Dugald 5 Malicki, Maciej 5 Zakharyaschev, Michael Viktorovich 4 Artale, Alessandro 4 Belardinelli, Francesco 4 Bredikhin, Dmitriĭ Aleksandrovich 4 Conradie, Willem 4 Demri, Stéphane P. 4 Dixon, Clare 4 Evans, David M. 4 Ferenczi, Miklós 4 Goranko, Valentin F. 4 Hustadt, Ullrich 4 Ivanov, Aleksander A. 4 Kamide, Norihiro 4 Khaled, Mohamed 4 Marx, Maarten 4 Mclean, Brett 4 Melleray, Julien 4 Palmigiano, Alessandra 4 Santocanale, Luigi 4 Tsankov, Todor 4 van Benthem, Johan F. A. K. 4 Villemaire, Roger 3 Bodirsky, Manuel 3 Bresolin, Davide 3 Cresswell, Maxwell John 3 Darji, Udayan B. 3 Egrot, Rob 3 Gastin, Paul 3 Gehrke, Mai 3 Guttmann, Walter 3 Herwig, Bernhard 3 Hirshfeld, Yoram 3 Hussak, Walter 3 Kikot, Stanislav 3 Konev, Boris 3 Kontchakov, Roman 3 Kowalski, Tomasz 3 Kuske, Dietrich 3 Lomuscio, Alessio 3 McCabe-Dansted, John Christopher 3 Montanari, Angelo 3 Newelski, Ludomir 3 Ognjanović, Zoran 3 Otto, Martin 3 Pech, Christian 3 Pech, Maja 3 Rosendal, Christian 3 Sciavicco, Guido 3 Vakarelov, Dimiter 3 Van den Bussche, Jan 2 Areces, Carlos 2 Bashmakov, Stepan Igorevich 2 Ben-Yaacov, Itaï 2 Berenstein, Alexander 2 Bezhanishvili, Guram 2 Bollig, Benedikt 2 Borlido, Célia 2 Cameron, Peter Jephson 2 d’Avila Garcez, Artur S. 2 Deters, Morgan 2 Doder, Dragan 2 Düntsch, Ivo 2 Elekes, Márton 2 Etessami, Kousha 2 Finger, Marcelo 2 Fletcher, George H. L. 2 Grädel, Erich 2 Gyssens, Marc 2 Hampson, Christopher 2 Hodges, Wilfrid 2 Hubička, Jan 2 Kalina, Kende 2 Kiss, Viktor 2 Konečný, Matěj 2 Lachlan, Alistair H. 2 Lamb, Luís C. 2 Leinders, Dirk 2 Lisitsa, Alexei 2 Litak, Tadeusz ...and 298 more Authors all top 5 Cited in 84 Serials 33 Annals of Pure and Applied Logic 31 Algebra Universalis 26 Theoretical Computer Science 25 The Journal of Symbolic Logic 19 Information and Computation 18 Studia Logica 17 Journal of Philosophical Logic 14 Transactions of the American Mathematical Society 9 Notre Dame Journal of Formal Logic 9 Proceedings of the American Mathematical Society 9 Journal of Applied Non-Classical Logics 9 Journal of Applied Logic 8 Artificial Intelligence 8 Journal of Logical and Algebraic Methods in Programming 6 Discrete Mathematics 6 Siberian Mathematical Journal 6 The Review of Symbolic Logic 5 Israel Journal of Mathematics 5 Journal of Computer and System Sciences 5 Archive for Mathematical Logic 5 Mathematical Logic Quarterly (MLQ) 5 The Bulletin of Symbolic Logic 5 Annals of Mathematics and Artificial Intelligence 5 ACM Transactions on Computational Logic 4 Journal of Algebra 4 Synthese 4 Journal of Logic, Language and Information 4 Sibirskie Èlektronnye Matematicheskie Izvestiya 4 Logical Methods in Computer Science 4 Journal of Siberian Federal University. Mathematics & Physics 3 Journal of Pure and Applied Algebra 3 Journal of Automated Reasoning 3 Theory of Computing Systems 3 Journal of Group Theory 2 Acta Informatica 2 Information Processing Letters 2 Mathematical Notes 2 Fundamenta Mathematicae 2 Journal of the London Mathematical Society. Second Series 2 Topology and its Applications 2 Combinatorica 2 International Journal of Algebra and Computation 2 Contributions to Discrete Mathematics 2 Logica Universalis 1 Bulletin of the Australian Mathematical Society 1 Communications in Algebra 1 Discrete Applied Mathematics 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Moscow University Mathematics Bulletin 1 Advances in Mathematics 1 Algebra and Logic 1 Bulletin of the London Mathematical Society 1 Information Sciences 1 Journal of Combinatorial Theory. Series A 1 Journal of Combinatorial Theory. Series B 1 Mathematische Zeitschrift 1 Monatshefte für Mathematik 1 Proceedings of the Edinburgh Mathematical Society. Series II 1 Proceedings of the London Mathematical Society. Third Series 1 Quaestiones Mathematicae 1 Graphs and Combinatorics 1 Journal of Computer Science and Technology 1 Mathematical and Computer Modelling 1 Forum Mathematicum 1 Geometric and Functional Analysis. GAFA 1 Artificial Intelligence Review 1 International Journal of Computer Mathematics 1 International Journal of Robust and Nonlinear Control 1 Cybernetics and Systems Analysis 1 Formal Methods in System Design 1 Applied Categorical Structures 1 Journal of Mathematical Sciences (New York) 1 Journal of the Egyptian Mathematical Society 1 Filomat 1 Journal of the ACM 1 Matematicheskie Trudy 1 Lobachevskii Journal of Mathematics 1 The Journal of Logic and Algebraic Programming 1 Journal of the Institute of Mathematics of Jussieu 1 International Journal of Intelligent Computing and Cybernetics 1 Confluentes Mathematici 1 Frontiers of Computer Science 1 Journal de l’École Polytechnique – Mathématiques 1 Bollettino dell’Unione Matematica Italiana all top 5 Cited in 27 Fields 363 Mathematical logic and foundations (03-XX) 125 Computer science (68-XX) 47 Group theory and generalizations (20-XX) 39 Order, lattices, ordered algebraic structures (06-XX) 38 General algebraic systems (08-XX) 34 Combinatorics (05-XX) 24 General topology (54-XX) 19 Topological groups, Lie groups (22-XX) 7 Dynamical systems and ergodic theory (37-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 History and biography (01-XX) 4 Manifolds and cell complexes (57-XX) 3 Category theory; homological algebra (18-XX) 2 Number theory (11-XX) 2 Associative rings and algebras (16-XX) 2 Measure and integration (28-XX) 1 General and overarching topics; collections (00-XX) 1 Nonassociative rings and algebras (17-XX) 1 Ordinary differential equations (34-XX) 1 Abstract harmonic analysis (43-XX) 1 Geometry (51-XX) 1 Convex and discrete geometry (52-XX) 1 Probability theory and stochastic processes (60-XX) 1 Geophysics (86-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year