Relational Structures Determined by Their Finite Induced Substructures. - Ian M. Hodkinson; H. D. Macpherson (J. Symb. Log., 1988)

Using the Temporal Logic RDL for Design Specifications. - Dov M. Gabbay; Ian M. Hodkinson; Anthony Hunter (Concurrency: Theory, Language, And Architecture, 1989)

Omega-Categoricity, Relative Categoricity and Coordinatisation. - Wilfried Hodges; Ian M. Hodkinson; Dugald Macpherson (Ann. Pure Appl. Log., 1990)

An Axiomitization of the Temporal Logic with Until and Since over the Real Numbers. - Dov M. Gabbay; Ian M. Hodkinson (J. Log. Comput., 1990)

Finite variable logics. - Ian M. Hodkinson (Bull. EATCS, 1993)

Addendum to: Finite Variable Logics. - Ian M. Hodkinson (Bull. EATCS, 1994)

Finite H-dimension does not imply expressive completeness. - Ian M. Hodkinson (J. Philos. Log., 1994)

On Gabbay's Temporal Fixed Point Operator. - Ian M. Hodkinson (Theor. Comput. Sci., 1995)

Languages, Meta-languages and METATEM, A Discussion Paper. - Howard Barringer; Graham Gough; Derek Brough; Dov M. Gabbay; Ian M. Hodkinson; Anthony Hunter; Richard Owens; Peter McBrien; Mark Reynolds 001; Michael Fisher 001 (Log. J. IGPL, 1996)

The finite base property for some cylindric-relativized algebras (Abstract). - Hajnal Andréka; Ian M. Hodkinson; István Németi (RelMiCS, 1997)

Atom Structures of Cylindric Algebras and Relation Algebras. - Ian M. Hodkinson (Ann. Pure Appl. Log., 1997)

Axiomatising Various Classes of Relation and Cylindric Algebras. - Robin Hirsch; Ian M. Hodkinson (Log. J. IGPL, 1997)

L. Csirmaz, D. Gabbay, M. de Rijke, eds., Logic Colloquium '92, Studies in Logic Language, and Information. - Ian M. Hodkinson (J. Log. Lang. Inf., 1997)

The k-variable property is stronger than H-dimension k. - Ian M. Hodkinson; András Simon (J. Philos. Log., 1997)

Step by Step - Building Representations in Algebraic Logic. - Robin Hirsch; Ian M. Hodkinson (J. Symb. Log., 1997)

Complete Representations in Algebraic Logic. - Robin Hirsch; Ian M. Hodkinson (J. Symb. Log., 1997)

Connections between cylindric algebras and relation algebras. - Robin Hirsch; Ian M. Hodkinson (RelMiCS, 1998)

Colorful reducts. - Ian M. Hodkinson; Szabolcs Mikulás (RelMiCS, 1998)

Finite Algebras of Relations Are Representable on Finite Sets. - Hajnal Andréka; Ian M. Hodkinson; István Németi (J. Symb. Log., 1999)

Relation Algebras with n-Dimensional Relational Bases. - Robin Hirsch; Ian M. Hodkinson (Ann. Pure Appl. Log., 2000)

Decidable fragment of first-order temporal logics. - Ian M. Hodkinson; Frank Wolter; Michael Zakharyaschev (Ann. Pure Appl. Log., 2000)

Monodic fragments of first-order temporal logics: 2000-2001 A.D. - Ian M. Hodkinson; Frank Wolter; Michael Zakharyaschev (LPAR, 2001)

Relation algebras form cylindric algebras, I. - Robin Hirsch; Ian M. Hodkinson (Ann. Pure Appl. Log., 2001)

Relation algebras form cylindric algebras, II. - Robin Hirsch; Ian M. Hodkinson (Ann. Pure Appl. Log., 2001)

Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. - Ian M. Hodkinson; Frank Wolter; Michael Zakharyaschev (LICS, 2002)

On Non-Local Propositional and Local One-Variable Quantified CTL*. - Sebastian Bauer 004; Ian M. Hodkinson; Frank Wolter; Michael Zakharyaschev (TIME, 2002)

Provability with finitely many variables. - Robin Hirsch; Ian M. Hodkinson; Roger D. Maddux (Bull. Symb. Log., 2002)

On Modal Logics Between K x K x K and S5 x S5 x S5. - Robin Hirsch; Ian M. Hodkinson; Ágnes Kurucz (J. Symb. Log., 2002)

Relation Algebra Reducts of Cylindric Algebras and An Application to Proof Theory. - Robin Hirsch; Ian M. Hodkinson; Roger D. Maddux (J. Symb. Log., 2002)

Loosely Guarded Fragment of First-Order Logic has the Finite Model Property. - Ian M. Hodkinson (Stud Logica, 2002)

Monodic Packed Fragment with Equality is Decidable. - Ian M. Hodkinson (Stud Logica, 2002)

On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics. - Ian M. Hodkinson; Roman Kontchakov; Agi Kurucz; Frank Wolter; Michael Zakharyaschev (TIME, 2003)

Finite conformal hypergraph covers and Gaifman cliques in finite structures. - Ian M. Hodkinson; Martin Otto 001 (Bull. Symb. Log., 2003)

Erdös graphs resolve Fine's canonicity problem. - Robert Goldblatt; Ian M. Hodkinson; Yde Venema (Bull. Symb. Log., 2004)

On Non-local Propositional and Weak Monodic Quantified CTL. - Sebastian Bauer 004; Ian M. Hodkinson; Frank Wolter; Michael Zakharyaschev (J. Log. Comput., 2004)

All Normal Extensions of S5-squared Are Finitely Axiomatizable. - Nick Bezhanishvili; Ian M. Hodkinson (Stud Logica, 2004)

Separation - Past, Present, and Future. - Ian M. Hodkinson; Mark Reynolds 001 (We Will Show Them! (2), 2005)

Complexity of monodic guarded fragments over linear and real time. - Ian M. Hodkinson (Ann. Pure Appl. Log., 2006)

Hybrid Formulas and Elementarily Generated Modal Logics. - Ian M. Hodkinson (Notre Dame J. Formal Log., 2006)

Temporal logic. - Ian M. Hodkinson; Mark Reynolds 001 (Handbook of Modal Logic, 2007)

Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T. - Ian M. Hodkinson; Angelo Montanari; Guido Sciavicco (CSL, 2008)

The modal logic of affine planes is not finitely axiomatisable. - Ian M. Hodkinson; Altaf Hussain (J. Symb. Log., 2008)

Commutativity of Quantifiers in Varying-Domain Kripke Models. - Robert Goldblatt; Ian M. Hodkinson (Towards Mathematical Philosophy, 2009)

Strongly representable atom structures of cylindric algebras. - Robin Hirsch; Ian M. Hodkinson (J. Symb. Log., 2009)

Interval Temporal Logics with Chop-Like Operators. - Ian M. Hodkinson (TIME, 2010)

Axiomatizing hybrid logic using modal logic. - Ian M. Hodkinson; Louis Paternault (J. Appl. Log., 2010)

The Bounded Fragment and Hybrid Logic with Polyadic Modalities. - Ian M. Hodkinson (Rev. Symb. Log., 2010)

A Bisimulation characterization Theorem for Hybrid Logic with the current-State Binder. - Ian M. Hodkinson; Hicham Tahiri (Rev. Symb. Log., 2010)

Weak representations of relation algebras and relational bases. - Robin Hirsch; Ian M. Hodkinson; Roger D. Maddux (J. Symb. Log., 2011)

On canonicity and completions of weakly representable relation algebras. - Ian M. Hodkinson; Szabolcs Mikulás (J. Symb. Log., 2012)

Sahlqvist Correspondence for Modal mu-calculus. - Johan van Benthem; Nick Bezhanishvili; Ian M. Hodkinson (Stud Logica, 2012)

Sahlqvist theorem for modal fixed point logic. - Nick Bezhanishvili; Ian M. Hodkinson (Theor. Comput. Sci., 2012)

Bare canonicity of representable cylindric and polyadic algebras. - Jannis Bulian; Ian M. Hodkinson (Ann. Pure Appl. Log., 2013)

On the Priorean temporal logic with 'around now' over the real line. - Ian M. Hodkinson (J. Log. Comput., 2014)

Connections between Relation Algebras and Cylindric Algebras. - Ian M. Hodkinson (RAMiCS, 2015)

The Tangled Derivative Logic of the Real Line and Zero-Dimensional Space. - Robert Goldblatt; Ian M. Hodkinson (Advances in Modal Logic, 2016)

Spatial logic of modal mu-calculus and tangled closure operators. - Robert Goldblatt; Ian M. Hodkinson (CoRR, 2016)

Spatial logic of tangled closure operators and modal mu-calculus. - Robert Goldblatt; Ian M. Hodkinson (Ann. Pure Appl. Log., 2017)

The Finite Model Property for Logics with the Tangle Modality. - Robert Goldblatt; Ian M. Hodkinson (Stud Logica, 2018)

Strong Completeness of Modal Logics over 0-dimensional Metric Spaces. - Robert Goldblatt; Ian M. Hodkinson (Rev. Symb. Log., 2020)

Canonicity in Power and Modal Logics of finite Achronal Width. - Robert Goldblatt; Ian M. Hodkinson (Rev. Symb. Log., 2024)