Ian Hodkinson: half-dozen most recent papers
Go to home page
-
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
-
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
-
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.
-
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.
-
Ian Hodkinson
Non-representable relation algebras from vector spaces
Australasian Journal of Logic 17 (2020) 82-109.
-
Ian Hodkinson
On the variety generated by completions of representable relation algebras
Algebra Universalis 81:10 (2020)