Ian Hodkinson: half-dozen most recent papers

Go to home page

  1. Ian Hodkinson
    Characterisations of two basic hybrid logics
    J. Logic and Computation, vol. 35 issue 4 (June 2025), exaf025   |   doi: 10.1093/logcom/exaf025
    Publisher's open-access pdf

  2. Robert Goldblatt and Ian Hodkinson
    Canonicity in power and modal logics of finite achronal width
    Review of Symbolic Logic 17 (2024) 705-735 (open access)
    doi: 10.1017/S1755020323000060

  3. 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.

  4. 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.

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

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