- Axiomatising various classes of relation and cylindric algebras Robin Hirsch, Ian Hodkinson \Lambda
- Aspects relation algebras Dept. Computing, Imperial College,
- PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY
- Relation Algebras from Cylindric Algebras, I Robin Hirsch and Ian Hodkinson \Lambda
- Atom structures of cylindric algebras and relation algebras
- Complete Representations in Algebraic Logic Robin Hirsch & Ian Hodkinson \Lambda
- The kvariable property is stronger than Hdimension k
- Axiomatizability of reducts of algebras of Ian Hodkinson
- Sahlqvist correspondence for modal mu-calculus Johan van Benthem, Nick Bezhanishvili, Ian Hodkinson
- Monodic packed fragment with equality is decidable Ian Hodkinson
- Monodic fragments of rst-order temporal logics: 2000{2001 A.D.
- The Journal of Symbolic Logic Volume 73, Number 3, Sept. 2008
- Monodic fragments of first-order temporal logics
- Axiomatising an arbitrary elementary modal logic using hybrid logic
- Synthesising axioms by games Robin Hirsch and Ian Hodkinson
- Separation --past, present, and future Ian Hodkinson and Mark Reynolds
- SAHLQVIST THEOREM FOR MODAL FIXED POINT LOGIC NICK BEZHANISHVILI AND IAN HODKINSON
- TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY
- Axiomatizing complex algebras by games Ian Hodkinson Szabolcs Mikul as y Yde Venema z
- Atom structures of relation algebras Ian Hodkinson \Lambda
- PROVABILITY WITH FINITELY MANY VARIABLES ROBIN HIRSCH y , IAN HODKINSON , AND ROGER D MADDUX
- The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000
- Axiomatizing hybrid logic using modal logic Ian Hodkinson
- A constructionof many uncountablerings using SFPdomains
- The small index property for -stable -categorical structures and for the random
- REPRESENTABILITY IS NOT DECIDABLE FOR FINITE RELATION ROBIN HIRSCH AND IAN HODKINSON
- ON MODAL LOGICS BETWEEN K K K AND S5 S5 S5 R. HIRSCH, I. HODKINSON AND A. KURUCZ
- Complexity of monodic guarded fragments over linear and real time
- THE REVIEW OF SYMBOLIC LOGIC Volume 3, Number 2, June 2010
- Games in algebraic logic: axiomatisations and beyond Robin Hirsch and Ian Hodkinson
- Robert Goldblatt Ian Hodkinson
- Non-Finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T
- Axiomatising the modal logic of affine planes Ian Hodkinson
- Modal logics of elementary classes of Kripke frames via hybrid logic
- Kruskal's theorem and Nash-Williams theory Ian Hodkinson, after Wilfrid Hodges
- Finite variable logics Ian Hodkinson
- Addendum to: Finite variable logics Ian Hodkinson
- Logics and complexity in finite model theory --The quest for
- On Gabbay's temporal fixed point operator Ian Hodkinson
- The Journal of Symbolic Logic Volume 74, Number 3, Sept. 2009
- Loosely guarded fragment of firstorder logic has the finite model property
- THE REVIEW OF SYMBOLIC LOGIC Volume 3, Number 2, June 2010
- Notes on games in temporal logic Ian Hodkinson
- Finite variable logics Ian Hodkinson \Lambda
- Finite variable logics Ian Hodkinson
- Step by Step ---Building Representations in Algebraic Logic
- On the computational complexity of decidable fragments of firstorder linear temporal logics
- Finite algebras of relations are representable on finite H. Andr'eka, I. Hodkinson, I. N'emeti \Lambda
- All normal extensions of S5-squared are finitely axiomatizable 1 Nick Bezhanishvili
- Preservation of Sahlqvist fixed point equations in completions of relativized fixed point BAOs
- Finite model property for guarded fragments, and
- AiML-2012: FIRST CALL FOR PAPERS ADVANCES IN MODAL LOGIC IX
- A construction of cylindric and polyadic algebras from atomic relation algebras
- AiML-2012: FINAL CALL FOR PAPERS ADVANCES IN MODAL LOGIC IX
- Bare canonicity of representable cylindric and polyadic algebras