List of publications (Ian Hodkinson)

Go to home page

Books

  1. D. M. Gabbay, I. M. Hodkinson, and M. A. Reynolds
    Temporal Logic: Mathematical Foundations and Computational Aspects, volume 1.
    Clarendon Press, Oxford, 1994.
    ISBN 0-19-853769-7
    Publisher's page for the book

  2. R. Hirsch and I. Hodkinson
    Relation algebras by games
    Studies in Logic and the Foundations of Mathematics, Volume 147
    North-Holland, 2002, ISBN: 0-444-50932-1.  712 pages.
    Elsevier page for book

  3. Edited book: Guido Governatori, Ian Hodkinson, Yde Venema (eds)
    Advances in Modal Logic, volume 6
    College Publications, 2006, ISBN 1-904987-20-6

Contributions to books

  1. I. Hodkinson
    Temporal Logic and Automata
    Chapter II of Temporal Logic: Mathematical Foundations and Computational Aspects, volume 2,
    by D. M. Gabbay, M. A. Reynolds, M. Finger,
    Clarendon Press, Oxford, 2000, pp. 30-72.

  2. Ian Hodkinson and Mark Reynolds
    Temporal Logic
    Chapter 11 (pp. 655-720) in Handbook of Modal Logic,
    Patrick Blackburn, Johan van Benthem, and Frank Wolter, eds.,
    Elsevier Science, 2006, 1260 pages, ISBN 978-0-444-51690-9.
    Publisher's page for book

  3. Ian Hodkinson and Mark Reynolds
    Separation - past, present, and future
    Chapter in We will show them! (Essays in honour of Dov Gabbay on his 60th birthday), volume 2
    S. Artemov, H. Barringer, A. d'Avila Garcez, L. Lamb, J. Woods, eds.
    College Publications, 2005, ISBN 1-904987-12-5.
    Pages 117-142.

  4. Robin Hirsch and Ian Hodkinson
    Completions and complete representations
    In: Cylindric-like Algebras and Algebraic Logic
    H. Andréka, M. Ferenczi, I. Németi (eds.)
    Bolyai Society Mathematical Studies, Vol. 22 (2013) pp. 61-89.
    ISBN 978-3-642-35024-5     doi 10.1007/978-3-642-35025-2_4

  5. Ian Hodkinson
    An application of first-order compactness in canonicity of relation algebras
    in: Aventuras en el Mundo de la Lógica: Ensayos en Honor a María Manzano,
    E. Alonso, A. Huertas, A. Moldovan (eds),
    Cuadernos de lógica, epistemología y lenguaje, vol. 13, College Publications, 2019, pp. 205-222.

  6. Robin Hirsch and Ian Hodkinson and Marcel Jackson
    Undecidability of Algebras of Binary Relations
    in: Hajnal Andréka and István Németi on Unity of Science - From Computing to Relativity Theory Through Algebraic Logic
    Judit Madarász and Gergely Székely (Eds.),
    Outstanding contributions to logic, vol 19, Springer, 2021, pp. 267-287.

Journal articles

  1. I. Hodkinson and H. D. Macpherson
    Relational structures determined by their finite induced substructures
    Journal of Symbolic Logic 53 (1988) 222-230.

  2. D. M. Gabbay and I. M. Hodkinson
    An axiomatisation of the temporal logic with Until and Since over the real numbers
    Journal of Logic and Computation 1 (1990) 229-260.

  3. W. Hodges, I. Hodkinson, and H. D. Macpherson
    Omega-categoricity, relative categoricity and coordinatisation
    Annals of Pure and Applied Logic (open access) 46 (1990) 169-199.

  4. D. Evans, W. Hodges, and I. Hodkinson
    Automorphisms of bounded abelian groups
    Forum Math. 3 (1991) 523-541.

  5. I. Hodkinson and S. Shelah
    A construction of many uncountable rings using SFP domains and Aronszajn trees
    Searchable scanned pdf file, 2.6MB

    Proc. London Math. Soc. 67 (1993) 449-492.

  6. I. Hodkinson
    Finite variable logics
    Bull. Europ. Assoc. Theor. Comp. Sci. 51 (1993) 111-140.
    With addendum, volume 52.
    The link above is to an unpublished revised and expanded version incorporating the addendum.  All versions.

  7. W. Hodges, I. Hodkinson, D. Lascar, and S. Shelah
    The small index property for ω-stable ω-categorical structures and for the random graph
    J. London Math. Soc. 48 (1993) 204-218.

  8. I. Hodkinson
    Finite H-dimension does not imply expressive completeness
    J. Philosophical Logic 23 (1994) 535-573.

  9. I. Hodkinson
    On Gabbay's temporal fixed point operator
    J. Theoretical Computer Science 139 (1995) 1-25.

  10. H. Barringer, D. Brough, M. Fisher, A. Hunter, R. Owens, D. Gabbay, G. Gough, I. Hodkinson, P. McBrien, and M. Reynolds
    Languages, meta-languages and MetateM - a discussion paper
    Logic J. IGPL 4 (1996) 255-272.

  11. I. Hodkinson
    Atom structures of cylindric algebras and relation algebras
    Annals of Pure and Applied Logic (open access) 89 (1997) 117-148.
    Digital Object Identifier (DOI)

  12. R. Hirsch and I. Hodkinson
    Axiomatising various classes of relation and cylindric algebras.
    Logic J. IGPL 5 (1997) 209-229.

  13. R. Hirsch and I. Hodkinson
    Complete representations in algebraic logic
    Journal of Symbolic Logic 62 (1997) 816-847.

  14. R. Hirsch and I. Hodkinson
    Step by step -- building representations in algebraic logic
    Journal of Symbolic Logic 62 (1997) 225-279.

  15. I. Hodkinson and A. Simon
    The k-variable property is stronger than H-dimension k
    J. Philosophical Logic 26 (1997) 81-101.

  16. H. Andréka, I. Hodkinson, and I. Németi
    Finite algebras of relations are representable on finite sets
    J. Symbolic Logic 64 (1999) 243-267.

  17. R. Hirsch and I. Hodkinson
    Representability is not decidable for finite relation algebras
    Trans. Amer. Math. Soc. 353 (2001)  1403-1425.

  18. R. Hirsch and I. Hodkinson
    Relation algebras with n-dimensional relational bases
    Ann. Pure Appl. Logic (open access) 101 (2000) 227-274.

  19. R. Hirsch and I. Hodkinson
    Relation algebras from cylindric algebras, I
    Ann. Pure Appl. Logic (open access) 112 (2001) 225-266.
    doi: 10.1016/S0168-0072(01)00084-7

  20. R. Hirsch and I. Hodkinson
    Relation algebras from cylindric algebras, II
    Ann. Pure Appl. Logic (open access) 112 (2001) 267-297.
    doi: 10.1016/S0168-0072(01)00085-9

  21. R. Hirsch, I. Hodkinson, and R. Maddux
    Provability with finitely many variables
    Bull. Symbolic Logic 8 (2002) 348-379.

  22. R. Hirsch, I. Hodkinson, and R. Maddux
    Relation algebra reducts of cylindric algebras and an application to proof theory
    J. Symbolic Logic 67 (2002) 197-213.

  23. I. Hodkinson and Sz. Mikulás
    Axiomatizability of reducts of algebras of relations
    Algebra Universalis 43 (2000) 127-156.
    Also available as Non-finitely axiomatizable, union-free reducts of algebras of relations, ILLC Prepublication series no. ML-1997-04.

  24. I. Hodkinson, F. Wolter, and M. Zakharyaschev
    Decidable fragments of first-order temporal logics
    Ann. Pure. Appl. Logic (open access) 106 (2000) 85-134.
    Copyright Elsevier Science BV 2000.  doi: 10.1016/S0168-0072(00)00018-X

  25. I. Hodkinson, Sz. Mikulás, and Y. Venema
    Axiomatising complex algebras by games
    Algebra Universalis 46 (2001) 455-478.
    ILLC Prepublication series no. PP-2000-01.

  26. R. Hirsch and I. Hodkinson
    Strongly representable atom structures of relation algebras
    Proc. Amer. Math. Soc. 130 (2002) 1819-1831.

  27. R. Hirsch, I. Hodkinson, and A. Kurucz
    On modal logics between KxKxK and S5xS5xS5
    J. Symbolic Logic 67 (2002) 221-234 (link is to preliminary version)

  28. I. Hodkinson
    Loosely guarded fragment of first-order logic has the finite model property
    Studia Logica 70 (2002) 205-240.

  29. I. Hodkinson and M. Otto
    Finite conformal hypergraph covers and Gaifman cliques in finite structures
    Bull. Symbolic Logic 9 (2003) 387-405.

  30. I. Hodkinson
    Monodic packed fragment with equality is decidable
    Studia Logica 72 (2002) 185-197.

  31. I. Hodkinson and Y. Venema
    Canonical varieties with no canonical axiomatisation
    Trans. Amer. Math. Soc. 357 (2005) 4579-4605.  ILLC preprint PP-2003-13

  32. N. Bezhanishvili and I. Hodkinson
    All normal extensions of S5-squared are finitely axiomatizable
    Studia Logica 78 (2004) 443-457. ILLC preprint PP-2003-25

  33. Robert Goldblatt, Ian Hodkinson, and Yde Venema
    Erdös graphs resolve Fine's canonicity problem
    Bull. Symbolic Logic 10 no. 2 (June 2004) 186-208.  ILLC preprint PP-2003-26

  34. I. Hodkinson
    Complexity of monodic guarded fragments over linear and real time
    Ann. Pure Appl. Logic (open access) 138 (2006) 94-125.

  35. S. Bauer, I. Hodkinson, F. Wolter, and M. Zakharyaschev
    On non-local propositional and weak monodic quantified CTL*
    J. Logic Computat. 14 (2004) 3-22.

  36. Robert Goldblatt, Ian Hodkinson, and Yde Venema
    On canonical modal logics that are not elementarily determined
    Logique et Analyse 181 (2003) 77-101.

  37. Robert Goldblatt and Ian Hodkinson
    The McKinsey-Lemmon logic is barely canonical
    Australasian J. Logic 5 (2007) 1-19.

  38. Ian Hodkinson
    Hybrid formulas and elementarily generated modal logics
    Notre Dame J. Formal Logic 47 (2006) 443-478.

  39. Ian Hodkinson and Altaf Hussain
    The modal logic of affine planes is not finitely axiomatisable
    J. Symbolic Logic 73 (2008) 940-952.

  40. Robin Hirsch and Ian Hodkinson
    Strongly representable atom structures of cylindric algebras
    J. Symbolic Logic 74 (2009) 811-828.

  41. Ian Hodkinson and Hicham Tahiri
    A bisimulation characterization theorem for hybrid logic with the current-state binder
    Review of Symbolic Logic 3 (2010) 247-261.
    doi:10.1017/S1755020309990426, published online by Cambridge University Press 26 Feb 2010.  Copyright Cambridge University Press

  42. Robin Hirsch, Ian Hodkinson, Roger Maddux
    Weak representations of relation algebras and relational bases
    J. Symbolic Logic 76 (2011) 870-882.

  43. Ian Hodkinson
    Bounded fragment and hybrid logic with polyadic modalities
    Review of Symbolic Logic 3 (2010) 279-286
    doi:10.1017/S1755020309990402, published online by Cambridge University Press 22 Mar 2010.  Copyright Cambridge University Press.

  44. Ian Hodkinson and Szabolcs Mikulás
    On canonicity and completions of weakly representable relation algebras
    J. Symbolic Logic 77 (2012) 245-262.

  45. Nick Bezhanishvili and Ian Hodkinson
    Sahlqvist theorem for modal fixed point logic
    Theoretical Computer Science 424 (2012) 1-19.

  46. Johan van Benthem, Nick Bezhanishvili, Ian Hodkinson
    Sahlqvist correspondence for modal mu-calculus
    Studia Logica 100 (2012) 31-60.

  47. Nick Bezhanishvili and Ian Hodkinson
    Preservation of Sahlqvist fixed point equations in completions of relativized fixed point BAOs
    Algebra Universalis 68 (2012) 43-56.

  48. Ian Hodkinson
    A construction of cylindric and polyadic algebras from atomic relation algebras
    Algebra Universalis 68 (2012) 257-285, doi 10.1007/s00012-012-0202-3.

  49. Jannis Bulian and Ian Hodkinson
    Bare canonicity of representable cylindric and polyadic algebras
    Ann. Pure Appl. Logic (open access) 164 (2013) 884-906, doi 10.1016/j.apal.2013.04.002

  50. Ian Hodkinson
    On the Priorean temporal logic with 'around now' over the real line
    J. Logic and Computation 24 (2014) 1071-1110. doi: 10.1093/logcom/ext056
    Open access article

  51. Samuel Dean, Jack Sunter, Richard J. Wheeler, Ian Hodkinson, Eva Gluenz, Keith Gull
    A toolkit enabling efficient, scalable and reproducible gene tagging in trypanosomatids
    Open Biology 2015 5 140197; DOI: 10.1098/rsob.140197

  52. Robert Goldblatt and Ian Hodkinson
    The finite model property for logics with the tangle modality
    Studia Logica 106 (2018) 131-166.

  53. Robert Goldblatt and Ian Hodkinson
    Spatial logic of tangled closure operators and modal mu-calculus
    Ann. Pure Appl. Logic (open access) 168 (2017) 1032-1090,   doi 10.1016/j.apal.2016.11.006

  54. Robert Goldblatt and Ian Hodkinson
    Tangled closure algebras
    Categories and General Algebraic Structures with Applications 7 (2017) 9-31.

  55. Robert Goldblatt and Ian Hodkinson
    Strong completeness of modal logics over 0-dimensional metric spaces
    Review of Symbolic Logic 13 (2020) 611-632. Copyright Association for Symbolic Logic.
    DOI: https://doi.org/10.1017/S1755020319000534

  56. Ian Hodkinson
    On the variety generated by completions of representable relation algebras
    Algebra Universalis 81:10 (2020)

  57. Ian Hodkinson
    Non-representable relation algebras from vector spaces
    Australasian Journal of Logic 17 (2020) 82-109.

  58. Robert Goldblatt and Ian Hodkinson
    Canonicity in power and modal logics of finite achronal width
    Review of Symbolic Logic, 2023 (open access)
    doi: 10.1017/S1755020323000060

Refereed conference proceedings

  1. D. M. Gabbay, I. M. Hodkinson, and M. A. Reynolds
    Temporal expressive completeness in the presence of gaps
    In Logic Colloquium '90
    J. Oikkonen and J. Väänänen (eds.), Lecture Notes in Logic 2, Springer-Verlag, Berlin/Heidelberg, 1993, pp. 89-121.

  2. I. M. Hodkinson
    Expressive completeness of Until and Since over dedekind complete linear time.
    In Modal logic and process algebra, A. Ponse, M. de Rijke, and Y. Venema (eds.), (CSLI Stanford) 1995, pp. 171-185.

  3. D. M. Gabbay and I. M. Hodkinson
    Temporal logic in the context of databases.
    In Logic and Reality: Essays on the legacy of Arthur Prior
    B. J. Copeland (ed.), (Clarendon Press, Oxford) 1996, pp. 69-87.

  4. R. Hirsch, I. Hodkinson, M. Marx, Sz. Mikulás, and M. Reynolds
    Mosaics and step-by-step
    Appendix to Ch. IX in Logic at Work, E. Orlowska (ed.), Physica-Verlag, Heidelberg/New York, 1998, pp. 158-167.

  5. I. Hodkinson, F. Wolter, and M. Zakharyaschev
    Monodic fragments of first-order temporal logics: 2000-2001 A.D.
    In R. Nieuwenhuis and A. Voronkov, editors, Logic for Programming, Artificial Intelligence and Reasoning, number 2250 of LNAI, Springer, 2001, pages 1-23.
     
  6. I. Hodkinson, F. Wolter, and M. Zakharyaschev
    Decidable and undecidable fragments of first-order branching temporal logics
    Proc. 17th Annual IEEE Symposium on Logic in Computer Science (LICS 2002), IEEE, pp. 393-402.

  7. S. Bauer, I. Hodkinson, F. Wolter, and M. Zakharyaschev
    On non-local propositional and one-variable quantified CTL*
    (This is the full version.  Abbreviated version Proc. 9th International Symposium on
    Temporal Representation and reasoning (TIME-2002), IEEE Inc., pp2-9.)

  8. Ian Hodkinson, Roman Kontchakov, Agi Kurucz, Frank Wolter, and  Michael Zakharyaschev
    On the computational complexity of decidable fragments of first-order linear temporal logics
    Proc. TIME-ICTL 2003 (M. Reynolds and A. Sattar, eds.), IEEE, 2003, pp. 91-98.

  9. R. Hirsch and I. Hodkinson, Games in algebraic logic: axiomatisations and beyond
    in: Stefan Bold, Benedikt Löwe, Thoralf Räsch, Johan van Benthem (eds.), Foundations of the Formal Sciences V, Infinite Games, Studies in Logic 11, College Publications, London, 2007, to appear, pages 157-185.

  10. Robert Goldblatt and Ian Hodkinson
    Commutativity of quantifiers in varying-domain Kripke models
    Proceedings of Studia Logica International Conference 'Towards Mathematical Philosophy' (Trends in Logic IV), D. Makinson, J. Malinowski, H. Wansing (eds), Toruń, Poland, Sept 2006.   Trends in Logic vol. 28, Springer, 2008, pp.9-30.

  11. Ian Hodkinson, Angelo Montanari, and Guido Sciavicco
    Non-finite axiomatizability and undecidability of interval temporal logics with C, D, and T
    In: Computer Science Logic (Proc. CSL 2008), M. Kaminski and S. Martini (Eds.), LNCS 5213, 2008, pp. 308-322.

  12. Ian Hodkinson and Louis Paternault
    Axiomatizing hybrid logic using modal logic
    Journal of Applied Logic 8 (2010) 386-396, doi:10.1016/j.jal.2010.08.005.

  13. Ian Hodkinson
    Simple completeness proofs for some spatial logics of the real line
    in: Proc. 12th Asian Logic Conference, R. Downey, J. Brendle, R. Goldblatt, B. Kim (eds), World Scientific, 2013, pp. 155-177.

  14. Robert Goldblatt and Ian Hodkinson
    The Tangled Derivative Logic of the Real Line and Zero-Dimensional Spaces
    Proc. Advances in Modal Logic (AiML-16), vol. 11, College Publications, 2016, 342-361.

Unrefereed conference proceedings

  1. D. Gabbay, I. Hodkinson, and A. Hunter
    Using the temporal logic RDL for design specifications.  In Concurrency: Theory, Language and Architecture, A. Yonezawa and T. Ito (eds.), Lecture Notes in Computer Science 491. Springer-Verlag, 1991, 64-78.

  2. D. Gabbay, I. Hodkinson, and A. Hunter
    RDL: an executable temporal logic for the specification and design of real-time systems.
    In Proceedings of IEE Colloquium on Temporal Reasoning, 1990.

  3. R. Hirsch and I. Hodkinson
    Games in algebraic logic, Proc. 11th Amsterdam Colloquium, P. Dekker, M. Stokhof, Y. Venema (eds.), ILLC/Department of Philosophy, Universiteit van Amsterdam, 1997, pp. 7-12.

  4. R. Hirsch and I. Hodkinson
    The finite representable relation algebras are not recursive.   Proc. Third International Conference on Relational Methods in Computer Science (RELMICS), 1997, pp. 245-247.

  5. R. Hirsch and I. Hodkinson
    Connections between cylindric algebras and relation algebras, in E. Orlowska and A. Szalas (eds.), Participants' copies for relational methods in logic, algebra and computer science, 4th international seminar RelMiCS, Warsaw, 1998, pp. 100-105.

  6. I. Hodkinson and Sz. Mikulas
    Colorful reducts, in E. Orlowska and A. Szalas (eds.), Participants' copies for relational methods in logic, algebra and computer science, 4th international seminar RelMiCS, Warsaw, 1998, pp. 106-110.

  7. R. Hirsch and I. Hodkinson
    Synthesising axioms by games, in JFAK - essays dedicated to Johan van Benthem, J. Gerbrandy, M. Marx, M. de Rijke, and Y. Venema (eds.), Vossiuspers AUP/Amsterdam University Press, 1999, ISBN 90 5629 104 1 (CD-ROM).

  8. Ian Hodkinson
    Connections between relation algebras and cylindric algebras
    Springer International Publishing Switzerland 2015 Proc. RAMiCS 2015, W. Kahl et al. (Eds.), Springer LNCS 9348, pp. 27-42, 2015.
    DOI: 10.1007/978-3-319-24704-5_2

Book reviews

  1. Logic colloquium '92, L. Csirmaz, D. M. Gabbay, and M. de Rijke (eds.), CSLI Publications & FoLLI, 1995.
    Journal of Logic, Language and Information, 6 (1997) 453-457.

  2. Model Theory of Groups and Automorphism Groups, D. M. Evans (ed.), Cambridge University Press, Cambridge, 1997, US$ 29.95, pp. xvi + 212, ISBN 0-521-58955-x.
    Studia Logica 67 no. 1 (2001) 141-144.

  3. Games, Logic, and Constructive Sets, G. Mints and R. Muskens (eds.), CSLI Lecture Notes 161, CSLI Publications, 2003.
    Bull. Symbolic Logic 11 no. 3 (2005) 439-442.

  4. Models and Games, J. Väänänen, Cambridge University Press, Cambridge, 2011.
    Bull. Symbolic Logic 18 no. 3 (2012) 406-408.

Miscellaneous

  1. I. Hodkinson
    Building many uncountable rings by constructing many different Aronszajn trees
    PhD thesis, London University, 1985.

  2. I. Hodkinson
    A construction of many uncountable rings.
    In: Proc. 3rd Easter Conference on Model Theory, pages
    134-142, Berlin, April 1985. Humboldt Universität.

  3. R. Hirsch and I. Hodkinson
    Retrieving points from intervals.
    Technical report, Department of Computing, Imperial College, 1990.

  4. I. Hodkinson
    Computability, algorithms and complexity,
    Lecture notes, Department of Computing, Imperial College, 1990. 160pp.

  5. I. Hodkinson
    Elimination of fixed point operators in the temporal logic YF.
    Technical Report 90/21, Imperial College, 1990.

  6. I. Hodkinson
    Lecture notes on the irreflexivity rule, 1991.

  7. I. Hodkinson
    Automata theory and monadic second order logic.
    Technical report, Department of Computing, Imperial College, 1993.

  8. I. Hodkinson
    Expressive completeness in temporal logic.
    Notes for Colchester ESSLLI (European Summer School in Logic, Language and Information) workshop, 1993.

  9. I. Hodkinson
    Advanced course in temporal logic.
    Notes for Barcelona ESSLLI workshop, 1995.

  10. I. Hodkinson
    Complexity theory - space complexity classes.
    Technical report CM/D-08, Department of Mathematics,
    University of Aveiro, 1996.

  11. I. Hodkinson
    Logics and complexity in finite model theory, July 1996.
    Lecture notes, EPSRC finite model theory tutorial, Swansea.

  12. I. Hodkinson and Sz. Mikulás
    Nonfinite axiomatisability of reducts of relation and cylindric algebras.
    ILLC prepublication series, ML-1997-04
    University of Amsterdam, 1997.

  13. I. Hodkinson
    Aspects of relativised semantics in logic.
    Technical report CM/I-37, Department of Mathematics,
    University of Aveiro, 1998.

  14. I. Hodkinson
    The finite base property for some cylindric-relativized algebras, 1997.
    Abstract, Proc. RelMiCS97, Hammamet, to appear.

  15. I. Hodkinson
    Aspects of relation algebras: slides for lectures given at the Third International Tbilisi Symposium on Language, Logic and Computation, Batumi, Georgia, September 1999.
    Article version in proceedings.

  16. R. Goldblatt and I. Hodkinson
    Spatial logic of modal mu-calculus and tangled closure operators
    Arxiv, 2016; early version of journal articles 52, 53.