Ian M. Hodkinson

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

Johan van Benthem, Nick Bezhanishvili, Ian M. Hodkinson: Sahlqvist Correspondence for Modal mu-calculus. Studia Logica 100(1-2): 31-60 (2012)

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

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

Robin Hirsch, Ian M. Hodkinson: Strongly representable atom structures of cylindric algebras. J. Symb. Log. 74(3): 811-828 (2009)

Ian M. Hodkinson: Complexity of monodic guarded fragments over linear and real time. Ann. Pure Appl. Logic 138(1-3): 94-125 (2006)

Guido Governatori, Ian M. Hodkinson, Yde Venema (Eds.): Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006. College Publications 2006, isbn 1-904987-20-6

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

Robert Goldblatt, Ian M. Hodkinson, Yde Venema: Erdös graphs resolve Fine's canonicity problem. Bulletin of Symbolic Logic 10(2): 186-208 (2004)

Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: On Non-local Propositional and Weak Monodic Quantified CTL. J. Log. Comput. 14(1): 3-22 (2004)

Nick Bezhanishvili, Ian M. Hodkinson: All Normal Extensions of S5-squared Are Finitely Axiomatizable. Studia Logica 78(3): 443-457 (2004)

Ian M. Hodkinson, Martin Otto: Finite conformal hypergraph covers and Gaifman cliques in finite structures. Bulletin of Symbolic Logic 9(3): 387-407 (2003)

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

Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux: Provability with finitely many variables. Bulletin of Symbolic Logic 8(3): 348-379 (2002)

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

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

Ian M. Hodkinson: Loosely Guarded Fragment of First-Order Logic has the Finite Model Property. Studia Logica 70(2): 205-240 (2002)

Ian M. Hodkinson: Monodic Packed Fragment with Equality is Decidable. Studia Logica 72(2): 185-197 (2002)

Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. LICS 2002: 393-402

Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: On Non-Local Propositional and Local One-Variable Quantified CTL*. TIME 2002: 2-9

Robin Hirsch, Ian M. Hodkinson: Relation algebras form cylindric algebras, I. Ann. Pure Appl. Logic 112(2-3): 225-266 (2001)

Robin Hirsch, Ian M. Hodkinson: Relation algebras form cylindric algebras, II. Ann. Pure Appl. Logic 112(2-3): 267-297 (2001)

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

Robin Hirsch, Ian M. Hodkinson: Relation Algebras with n-Dimensional Relational Bases. Ann. Pure Appl. Logic 101(2-3): 227-274 (2000)

Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: Decidable fragment of first-order temporal logics. Ann. Pure Appl. Logic 106(1-3): 85-134 (2000)

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

Robin Hirsch, Ian M. Hodkinson: Connections between cylindric algebras and relation algebras. RelMiCS 1998: 100-105

Ian M. Hodkinson, Szabolcs Mikulás: Colorful reducts. RelMiCS 1998: 106-110

Ian M. Hodkinson: Atom Structures of Cylindric Algebras and Relation Algebras. Ann. Pure Appl. Logic 89(2-3): 117-148 (1997)

Robin Hirsch, Ian M. Hodkinson: Axiomatising Various Classes of Relation and Cylindric Algebras. Logic Journal of the IGPL 5(2): 209-229 (1997)

Ian M. Hodkinson: L. Csirmaz, D. Gabbay, M. de Rijke, eds., Logic Colloquium '92, Studies in Logic Language, and Information. Journal of Logic, Language and Information 6(4): 453-457 (1997)

Robin Hirsch, Ian M. Hodkinson: Step by Step - Building Representations in Algebraic Logic. J. Symb. Log. 62(1): 225-279 (1997)

Robin Hirsch, Ian M. Hodkinson: Complete Representations in Algebraic Logic. J. Symb. Log. 62(3): 816-847 (1997)

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

Howard Barringer, Graham Gough, Derek Brough, Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter, Richard Owens, Peter McBrien, Mark Reynolds, Michael Fisher: Languages, Meta-languages and METATEM, A Discussion Paper. Logic Journal of the IGPL 4(2): 255-272 (1996)

Ian M. Hodkinson: On Gabbay's Temporal Fixed Point Operator. Theor. Comput. Sci. 139(1&2): 1-25 (1995)

Ian M. Hodkinson: Addendum to: Finite Variable Logics. Bulletin of the EATCS 52: 278 (1994)

Ian M. Hodkinson: Finite variable logics. Bulletin of the EATCS 51: 111-140 (1993)

Wilfried Hodges, Ian M. Hodkinson, Dugald Macpherson: Omega-Categoricity, Relative Categoricity and Coordinatisation. Ann. Pure Appl. Logic 46(2): 169-199 (1990)

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

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

Ian M. Hodkinson, H. D. Macpherson: Relational Structures Determined by Their Finite Induced Substructures. J. Symb. Log. 53(1): 222-230 (1988)