×

Hodkinson, Ian Martin

Compute Distance To:
Author ID: hodkinson.ian-martin Recent zbMATH articles by "Hodkinson, Ian Martin"
Published as: Hodkinson, Ian; Hodkinson, I. M.; Hodkinson, I.; Hodkinson, Ian Martin

Publications by Year

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

Citations by Year