## Hodkinson, Ian Martin

Compute Distance To:
 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)

### 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.03023
Gabbay, Dov M.; Hodkinson, Ian; Reynolds, Mark
1994
Relation algebras by games. Zbl 1018.03002
Hirsch, Robin; Hodkinson, Ian
2002
The small index property for $$\omega$$-stable $$\omega$$-categorical structures and for the random graph. Zbl 0788.03039
Hodges, Wilfrid; Hodkinson, Ian; Lascar, Daniel; Shelah, Saharon
1993
Decidable fragments of first-order temporal logics. Zbl 0999.03015
Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael
2000
An axiomatization of the temporal logic with until and since over the real numbers. Zbl 0744.03018
Gabbay, D. M.; Hodkinson, I. M.
1990
Complete representations in algebraic logic. Zbl 0893.03025
Hirsch, Robin; Hodkinson, Ian
1997
Representability is not decidable for finite relation algebras. Zbl 0965.03079
Hirsch, Robin; Hodkinson, Ian
2001
Atom structures of cylindric algebras and relation algebras. Zbl 0898.03025
Hodkinson, Ian
1997
Step by step – Building representations in algebraic logic. Zbl 0879.03018
Hirsch, Robin; Hodkinson, Ian
1997
Relation algebra reducts of cylindric algebras and an application to proof theory. Zbl 1005.03052
Hirsch, Robin; Hodkinson, Ian; Maddux, Roger D.
2002
Loosely guarded fragment of first-order logic has the finite model property. Zbl 0998.03003
Hodkinson, Ian
2002
Canonical varieties with no canonical axiomatisation. Zbl 1081.03062
Hodkinson, Ian; Venema, Yde
2005
Omega-categoricity, relative categoricity and coordinatisation. Zbl 0699.03016
Hodges, Wilfrid; Hodkinson, I. M.; Macpherson, Dugald
1990
Strongly representable atom structures of relation algebras. Zbl 1002.03054
Hirsch, Robin; Hodkinson, Ian
2002
Finite algebras of relations are representable on finite sets. Zbl 0926.03078
Andréka, H.; Hodkinson, I.; Németi, I.
1999
Axiomatizability of reducts of algebras of relations. Zbl 1011.03051
Hodkinson, Ian; Mikulás, Szabolcs
2000
Finite conformal hypergraph covers and Gaifman cliques in finite structures. Zbl 1058.03031
Hodkinson, Ian; Otto, Martin
2003
Monodic fragments of first-order temporal logics: 2000–2001 A.D. Zbl 1275.03088
Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael
2001
On modal logics between $$\mathbf K\times\mathbf K\times\mathbf K$$ and $$\mathbf S5\times\mathbf S5\times\mathbf S5$$. Zbl 1002.03019
Hirsch, R.; Hodkinson, I.; Kurucz, A.
2002
Monodic packed fragment with equality is decidable. Zbl 1011.03008
Hodkinson, Ian
2002
Finite variable logics. Zbl 0788.03051
Hodkinson, Ian
1993
Strongly representable atom structures of cylindric algebras. Zbl 1207.03073
Hirsch, Robin; Hodkinson, Ian
2009
Sahlqvist correspondence for modal mu-calculus. Zbl 1404.03021
van Benthem, Johan; Bezhanishvili, Nick; Hodkinson, Ian
2012
Relational structures determined by their finite induced substructures. Zbl 0647.03022
Hodkinson, I. M.; Macpherson, H. D.
1988
The McKinsey-Lemmon logic is barely canonical. Zbl 1168.03320
Goldblatt, Robert; Hodkinson, Ian
2007
Temporal logic in the context of databases. Zbl 0919.03018
Gabbay, Dov; Hodkinson, Ian
1996
Erdős graphs resolve Fine’s canonicity problem. Zbl 1060.03038
Goldblatt, Robert; Hodkinson, Ian; Venema, Yde
2004
Temporal expressive completeness in the presence of gaps. Zbl 0802.03016
Gabbay, D. M.; Hodkinson, I. M.; Reynolds, M. A.
1993
Hybrid formulas and elementarily generated modal logics. Zbl 1211.03036
Hodkinson, Ian
2006
Provability with finitely many variables. Zbl 1024.03010
Hirsch, Robin; Hodkinson, Ian; Maddux, Roger D.
2002
Relation algebras with $$n$$-dimensional relational bases. Zbl 0953.03071
Hirsch, Robin; Hodkinson, Ian
2000
Relation algebras from cylindric algebras. II. Zbl 1001.03058
Hirsch, Robin; Hodkinson, Ian
2001
Spatial logic of tangled closure operators and modal mu-calculus. Zbl 1422.03034
Goldblatt, Robert; Hodkinson, Ian
2017
Bare canonicity of representable cylindric and polyadic algebras. Zbl 1321.03077
Bulian, Jannis; Hodkinson, Ian
2013
Complexity of monodic guarded fragments over linear and real time. Zbl 1093.03009
Hodkinson, Ian
2006
Non-finite axiomatizability and undecidability of interval temporal logics with C, D, and T. Zbl 1156.03321
Hodkinson, Ian; Montanari, Angelo; Sciavicco, Guido
2008
On non-local propositional and weak monodic quantified $$\mathcal{CTL}^{\ast}$$. Zbl 1046.03007
Bauer, Sebastian; Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael
2004
Sahlqvist theorem for modal fixed point logic. Zbl 1268.03020
Bezhanishvili, Nick; Hodkinson, Ian
2012
Completions and complete representations. Zbl 1284.03271
Hirsch, Robin; Hodkinson, Ian
2012
Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators. Zbl 1266.06017
Bezhanishvili, Nick; Hodkinson, Ian
2012
Commutativity of quantifiers in varying-domain Kripke models. Zbl 1167.03016
Goldblatt, Robert; Hodkinson, Ian
2009
Automorphisms of bounded abelian groups. Zbl 0753.20018
Evans, David M.; Hodges, Wilfrid; Hodkinson, I. M.
1991
Finite $$H$$-dimension does not imply expressive completeness. Zbl 0811.03027
Hodkinson, Ian
1994
Axiomatising various classes of relation and cylindric algebras. Zbl 0873.03051
Hirsch, Robin; Hodkinson, Ian
1997
Relation algebras from cylindric algebras. I. Zbl 1001.03057
Hirsch, Robin; Hodkinson, Ian
2001
The tangled derivative logic of the real line and zero-dimensional spaces. Zbl 1400.03042
Goldblatt, Robert; Hodkinson, Ian
2016
A construction of cylindric and polyadic algebras from atomic relation algebras. Zbl 1263.03058
Hodkinson, Ian
2012
On canonical modal logics that are not elementarily determined. Zbl 1060.03037
Goldblatt, Robert; Hodkinson, Ian; Venema, Yde
2003
All normal extensions of S5-squared are finitely axiomatizable. Zbl 1069.03010
Bezhanishvili, Nick; Hodkinson, Ian
2004
The $$k$$-variable property is stronger than H-dimension $$k$$. Zbl 0976.03017
Hodkinson, Ian; Simon, András
1997
Simple completeness proofs for some spatial logics of the real line. Zbl 1364.03032
Hodkinson, Ian
2013
Weak representations of relation algebras and relational bases. Zbl 1260.03112
Hirsch, Robin; Hodkinson, Ian; Maddux, Roger D.
2011
Separation – past, present, and future. Zbl 1272.03091
Hodkinson, Ian; Reynolds, Mark
2005
Advances in modal logic. Vol. 6. Selected papers from the 6th conference (AiML 2006), Noosa, Australia, September 25–28, 2006. Zbl 1135.03001
2006
Axiomatizing complex algebras by games. Zbl 1063.08011
Hodkinson, Ian; Mikulás, Szabolcs; Venema, Yde
2001
On Gabbay’s temporal fixed point operator. Zbl 0874.68272
Hodkinson, Ian
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.03030
Venema, Yde; Marx, Maarten
1999
The finite model property for logics with the tangle modality. Zbl 1437.03087
Goldblatt, Robert; Hodkinson, Ian
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
Bare canonicity of representable cylindric and polyadic algebras. Zbl 1321.03077
Bulian, Jannis; Hodkinson, Ian
2013
Simple completeness proofs for some spatial logics of the real line. Zbl 1364.03032
Hodkinson, Ian
2013
Sahlqvist correspondence for modal mu-calculus. Zbl 1404.03021
van Benthem, Johan; Bezhanishvili, Nick; Hodkinson, Ian
2012
Sahlqvist theorem for modal fixed point logic. Zbl 1268.03020
Bezhanishvili, Nick; Hodkinson, Ian
2012
Completions and complete representations. Zbl 1284.03271
Hirsch, Robin; Hodkinson, Ian
2012
Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators. Zbl 1266.06017
Bezhanishvili, Nick; Hodkinson, Ian
2012
A construction of cylindric and polyadic algebras from atomic relation algebras. Zbl 1263.03058
Hodkinson, Ian
2012
Weak representations of relation algebras and relational bases. Zbl 1260.03112
Hirsch, Robin; Hodkinson, Ian; Maddux, Roger D.
2011
Strongly representable atom structures of cylindric algebras. Zbl 1207.03073
Hirsch, Robin; Hodkinson, Ian
2009
Commutativity of quantifiers in varying-domain Kripke models. Zbl 1167.03016
Goldblatt, Robert; Hodkinson, Ian
2009
Non-finite axiomatizability and undecidability of interval temporal logics with C, D, and T. Zbl 1156.03321
Hodkinson, Ian; Montanari, Angelo; Sciavicco, Guido
2008
The McKinsey-Lemmon logic is barely canonical. Zbl 1168.03320
Goldblatt, Robert; Hodkinson, Ian
2007
Hybrid formulas and elementarily generated modal logics. Zbl 1211.03036
Hodkinson, Ian
2006
Complexity of monodic guarded fragments over linear and real time. Zbl 1093.03009
Hodkinson, Ian
2006
Advances in modal logic. Vol. 6. Selected papers from the 6th conference (AiML 2006), Noosa, Australia, September 25–28, 2006. Zbl 1135.03001
2006
Canonical varieties with no canonical axiomatisation. Zbl 1081.03062
Hodkinson, Ian; Venema, Yde
2005
Separation – past, present, and future. Zbl 1272.03091
Hodkinson, Ian; Reynolds, Mark
2005
Erdős graphs resolve Fine’s canonicity problem. Zbl 1060.03038
Goldblatt, Robert; Hodkinson, Ian; Venema, Yde
2004
On non-local propositional and weak monodic quantified $$\mathcal{CTL}^{\ast}$$. Zbl 1046.03007
Bauer, Sebastian; Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael
2004
All normal extensions of S5-squared are finitely axiomatizable. Zbl 1069.03010
Bezhanishvili, Nick; Hodkinson, Ian
2004
Finite conformal hypergraph covers and Gaifman cliques in finite structures. Zbl 1058.03031
Hodkinson, Ian; Otto, Martin
2003
On canonical modal logics that are not elementarily determined. Zbl 1060.03037
Goldblatt, Robert; Hodkinson, Ian; Venema, Yde
2003
Relation algebras by games. Zbl 1018.03002
Hirsch, Robin; Hodkinson, Ian
2002
Relation algebra reducts of cylindric algebras and an application to proof theory. Zbl 1005.03052
Hirsch, Robin; Hodkinson, Ian; Maddux, Roger D.
2002
Loosely guarded fragment of first-order logic has the finite model property. Zbl 0998.03003
Hodkinson, Ian
2002
Strongly representable atom structures of relation algebras. Zbl 1002.03054
Hirsch, Robin; Hodkinson, Ian
2002
On modal logics between $$\mathbf K\times\mathbf K\times\mathbf K$$ and $$\mathbf S5\times\mathbf S5\times\mathbf S5$$. Zbl 1002.03019
Hirsch, R.; Hodkinson, I.; Kurucz, A.
2002
Monodic packed fragment with equality is decidable. Zbl 1011.03008
Hodkinson, Ian
2002
Provability with finitely many variables. Zbl 1024.03010
Hirsch, Robin; Hodkinson, Ian; Maddux, Roger D.
2002
Representability is not decidable for finite relation algebras. Zbl 0965.03079
Hirsch, Robin; Hodkinson, Ian
2001
Monodic fragments of first-order temporal logics: 2000–2001 A.D. Zbl 1275.03088
Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael
2001
Relation algebras from cylindric algebras. II. Zbl 1001.03058
Hirsch, Robin; Hodkinson, Ian
2001
Relation algebras from cylindric algebras. I. Zbl 1001.03057
Hirsch, Robin; Hodkinson, Ian
2001
Axiomatizing complex algebras by games. Zbl 1063.08011
Hodkinson, Ian; Mikulás, Szabolcs; Venema, Yde
2001
Decidable fragments of first-order temporal logics. Zbl 0999.03015
Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael
2000
Axiomatizability of reducts of algebras of relations. Zbl 1011.03051
Hodkinson, Ian; Mikulás, Szabolcs
2000
Relation algebras with $$n$$-dimensional relational bases. Zbl 0953.03071
Hirsch, Robin; Hodkinson, Ian
2000
Finite algebras of relations are representable on finite sets. Zbl 0926.03078
Andréka, H.; Hodkinson, I.; Németi, I.
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.03030
Venema, Yde; Marx, Maarten
1999
Complete representations in algebraic logic. Zbl 0893.03025
Hirsch, Robin; Hodkinson, Ian
1997
Atom structures of cylindric algebras and relation algebras. Zbl 0898.03025
Hodkinson, Ian
1997
Step by step – Building representations in algebraic logic. Zbl 0879.03018
Hirsch, Robin; Hodkinson, Ian
1997
Axiomatising various classes of relation and cylindric algebras. Zbl 0873.03051
Hirsch, Robin; Hodkinson, Ian
1997
The $$k$$-variable property is stronger than H-dimension $$k$$. Zbl 0976.03017
Hodkinson, Ian; Simon, András
1997
Temporal logic in the context of databases. Zbl 0919.03018
Gabbay, Dov; Hodkinson, Ian
1996
On Gabbay’s temporal fixed point operator. Zbl 0874.68272
Hodkinson, Ian
1995
Temporal logic. Vol. 1. Mathematical foundations and computational aspects. Zbl 0921.03023
Gabbay, Dov M.; Hodkinson, Ian; Reynolds, Mark
1994
Finite $$H$$-dimension does not imply expressive completeness. Zbl 0811.03027
Hodkinson, Ian
1994
The small index property for $$\omega$$-stable $$\omega$$-categorical structures and for the random graph. Zbl 0788.03039
Hodges, Wilfrid; Hodkinson, Ian; Lascar, Daniel; Shelah, Saharon
1993
Finite variable logics. Zbl 0788.03051
Hodkinson, Ian
1993
Temporal expressive completeness in the presence of gaps. Zbl 0802.03016
Gabbay, D. M.; Hodkinson, I. M.; Reynolds, M. A.
1993
Automorphisms of bounded abelian groups. Zbl 0753.20018
Evans, David M.; Hodges, Wilfrid; Hodkinson, I. M.
1991
An axiomatization of the temporal logic with until and since over the real numbers. Zbl 0744.03018
Gabbay, D. M.; Hodkinson, I. M.
1990
Omega-categoricity, relative categoricity and coordinatisation. Zbl 0699.03016
Hodges, Wilfrid; Hodkinson, I. M.; Macpherson, Dugald
1990
Relational structures determined by their finite induced substructures. Zbl 0647.03022
Hodkinson, I. M.; Macpherson, H. D.
1988
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)