Ian M. Hodkinson

Publication Activity (10 Years)

Years Active: 1988-2022
Publications (10 Years): 7

Top Topics

Relation Algebra

Closure Operator

Top Venues

Ann. Pure Appl. Log.

J. Log. Comput.

Publications

Robert Goldblatt, Ian M. Hodkinson
Canonicity in power and modal logics of finite achronal width. CoRR (2022)
Robert Goldblatt, Ian M. Hodkinson
Strong Completeness of Modal Logics over 0-dimensional Metric Spaces. Rev. Symb. Log. 13 (3) (2020)
Robert Goldblatt, Ian M. Hodkinson
Strong completeness of modal logics over 0-dimensional metric spaces. CoRR (2019)
Robert Goldblatt, Ian M. Hodkinson
The Finite Model Property for Logics with the Tangle Modality. Stud Logica 106 (1) (2018)
Robert Goldblatt, Ian M. Hodkinson
Spatial logic of tangled closure operators and modal mu-calculus. Ann. Pure Appl. Log. 168 (5) (2017)
Robert Goldblatt, Ian M. Hodkinson
The Tangled Derivative Logic of the Real Line and Zero-Dimensional Space. Advances in Modal Logic (2016)
Robert Goldblatt, Ian M. Hodkinson
Spatial logic of modal mu-calculus and tangled closure operators. CoRR (2016)
Ian M. Hodkinson
Connections between Relation Algebras and Cylindric Algebras. RAMiCS (2015)
Ian M. Hodkinson
On the Priorean temporal logic with 'around now' over the real line. J. Log. Comput. 24 (5) (2014)
Jannis Bulian, Ian M. Hodkinson
Bare canonicity of representable cylindric and polyadic algebras. Ann. Pure Appl. Log. 164 (9) (2013)
Nick Bezhanishvili, Ian M. Hodkinson
Sahlqvist theorem for modal fixed point logic. Theor. Comput. Sci. 424 (2012)
Ian M. Hodkinson, Szabolcs Mikulás
On canonicity and completions of weakly representable relation algebras. J. Symb. Log. 77 (1) (2012)
Johan van Benthem, Nick Bezhanishvili, Ian M. Hodkinson
Sahlqvist Correspondence for Modal mu-calculus. Stud Logica 100 (1-2) (2012)
Jannis Bulian, Ian M. Hodkinson
Bare canonicity of representable cylindric and polyadic algebras CoRR (2012)
Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux
Weak representations of relation algebras and relational bases. J. Symb. Log. 76 (3) (2011)
Ian M. Hodkinson
The Bounded Fragment and Hybrid Logic with Polyadic Modalities. Rev. Symb. Log. 3 (2) (2010)
Ian M. Hodkinson, Hicham Tahiri
A Bisimulation characterization Theorem for Hybrid Logic with the current-State Binder. Rev. Symb. Log. 3 (2) (2010)
Ian M. Hodkinson, Louis Paternault
Axiomatizing hybrid logic using modal logic. J. Appl. Log. 8 (4) (2010)
Ian M. Hodkinson
Interval Temporal Logics with Chop-Like Operators. TIME (2010)
Robin Hirsch, Ian M. Hodkinson
Strongly representable atom structures of cylindric algebras. J. Symb. Log. 74 (3) (2009)
Ian M. Hodkinson, Angelo Montanari, Guido Sciavicco
Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T. CSL (2008)
Ian M. Hodkinson, Altaf Hussain
The modal logic of affine planes is not finitely axiomatisable. J. Symb. Log. 73 (3) (2008)
Ian M. Hodkinson
Complexity of monodic guarded fragments over linear and real time. Ann. Pure Appl. Log. 138 (1-3) (2006)
Ian M. Hodkinson
Hybrid Formulas and Elementarily Generated Modal Logics. Notre Dame J. Formal Log. 47 (4) (2006)
Ian M. Hodkinson, Mark Reynolds
Separation - Past, Present, and Future. We Will Show Them! (2) (2005)
Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev
On Non-local Propositional and Weak Monodic Quantified CTL. J. Log. Comput. 14 (1) (2004)
Robert Goldblatt, Ian M. Hodkinson, Yde Venema
Erdös graphs resolve Fine's canonicity problem. Bull. Symb. Log. 10 (2) (2004)
Nick Bezhanishvili, Ian M. Hodkinson
All Normal Extensions of S5-squared Are Finitely Axiomatizable. Stud Logica 78 (3) (2004)
Ian M. Hodkinson, Martin Otto
Finite conformal hypergraph covers and Gaifman cliques in finite structures. Bull. Symb. Log. 9 (3) (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)
Ian M. Hodkinson
Loosely Guarded Fragment of First-Order Logic has the Finite Model Property. Stud Logica 70 (2) (2002)
Ian M. Hodkinson
Monodic Packed Fragment with Equality is Decidable. Stud Logica 72 (2) (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) (2002)
Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev
Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. LICS (2002)
Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux
Provability with finitely many variables. Bull. Symb. Log. 8 (3) (2002)
Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev
On Non-Local Propositional and Local One-Variable Quantified CTL*. TIME (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) (2002)
Robin Hirsch, Ian M. Hodkinson
Relation algebras form cylindric algebras, II. Ann. Pure Appl. Log. 112 (2-3) (2001)
Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev
Monodic fragments of first-order temporal logics: 2000-2001 A.D. LPAR (2001)
Robin Hirsch, Ian M. Hodkinson
Relation algebras form cylindric algebras, I. Ann. Pure Appl. Log. 112 (2-3) (2001)
Robin Hirsch, Ian M. Hodkinson
Relation Algebras with n-Dimensional Relational Bases. Ann. Pure Appl. Log. 101 (2-3) (2000)
Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev
Decidable fragment of first-order temporal logics. Ann. Pure Appl. Log. 106 (1-3) (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) (1999)
Robin Hirsch, Ian M. Hodkinson
Connections between cylindric algebras and relation algebras. RelMiCS (1998)
Ian M. Hodkinson, Szabolcs Mikulás
Colorful reducts. RelMiCS (1998)
Robin Hirsch, Ian M. Hodkinson
Axiomatising Various Classes of Relation and Cylindric Algebras. Log. J. IGPL 5 (2) (1997)
Hajnal Andréka, Ian M. Hodkinson, István Németi
The finite base property for some cylindric-relativized algebras (Abstract). RelMiCS (1997)
Robin Hirsch, Ian M. Hodkinson
Step by Step - Building Representations in Algebraic Logic. J. Symb. Log. 62 (1) (1997)
Ian M. Hodkinson, András Simon
. J. Philos. Log. 26 (1) (1997)
Ian M. Hodkinson
L. Csirmaz, D. Gabbay, M. de Rijke, eds., Logic Colloquium '92, Studies in Logic Language, and Information. J. Log. Lang. Inf. 6 (4) (1997)
Robin Hirsch, Ian M. Hodkinson
Complete Representations in Algebraic Logic. J. Symb. Log. 62 (3) (1997)
Ian M. Hodkinson
Atom Structures of Cylindric Algebras and Relation Algebras. Ann. Pure Appl. Log. 89 (2-3) (1997)
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. Log. J. IGPL 4 (2) (1996)
Ian M. Hodkinson
On Gabbay's Temporal Fixed Point Operator. Theor. Comput. Sci. 139 (1&2) (1995)
Ian M. Hodkinson
Addendum to: Finite Variable Logics. Bull. EATCS 52 (1994)
Ian M. Hodkinson
Finite H-dimension does not imply expressive completeness. J. Philos. Log. 23 (5) (1994)
Ian M. Hodkinson
Finite variable logics. Bull. EATCS 51 (1993)
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) (1990)
Wilfried Hodges, Ian M. Hodkinson, Dugald Macpherson
Omega-Categoricity, Relative Categoricity and Coordinatisation. Ann. Pure Appl. Log. 46 (2) (1990)
Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter
Using the Temporal Logic RDL for Design Specifications. Concurrency: Theory, Language, And Architecture (1989)
Ian M. Hodkinson, H. D. Macpherson
Relational Structures Determined by Their Finite Induced Substructures. J. Symb. Log. 53 (1) (1988)