Ian M. Hodkinson

According to our database, Ian M. Hodkinson authored at least 61 papers between 1988 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Canonicity in power and modal logics of finite achronal width.

Robert Goldblatt, Ian M. Hodkinson

CoRR, 2022

2020

Strong Completeness of Modal Logics over 0-dimensional Metric Spaces.

Robert Goldblatt, Ian M. Hodkinson

Rev. Symb. Log., 2020

2018

The Finite Model Property for Logics with the Tangle Modality.

Robert Goldblatt, Ian M. Hodkinson

Stud Logica, 2018

2017

Spatial logic of tangled closure operators and modal mu-calculus.

Robert Goldblatt, Ian M. Hodkinson

Ann. Pure Appl. Log., 2017

2016

Spatial logic of modal mu-calculus and tangled closure operators.

Robert Goldblatt, Ian M. Hodkinson

CoRR, 2016

The Tangled Derivative Logic of the Real Line and Zero-Dimensional Space.

Robert Goldblatt, Ian M. Hodkinson

Proceedings of the Advances in Modal Logic 11, 2016

2015

Connections between Relation Algebras and Cylindric Algebras.

Ian M. Hodkinson

Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

2014

On the Priorean temporal logic with 'around now' over the real line.

Ian M. Hodkinson

J. Log. Comput., 2014

2013

Bare canonicity of representable cylindric and polyadic algebras.

Jannis Bulian, Ian M. Hodkinson

Ann. Pure Appl. Log., 2013

2012

Sahlqvist theorem for modal fixed point logic.

Nick Bezhanishvili, Ian M. Hodkinson

Theor. Comput. Sci., 2012

Sahlqvist Correspondence for Modal mu-calculus.

Johan van Benthem, Nick Bezhanishvili, Ian M. Hodkinson

Stud Logica, 2012

On canonicity and completions of weakly representable relation algebras.

Ian M. Hodkinson, Szabolcs Mikulás

J. Symb. Log., 2012

2011

Weak representations of relation algebras and relational bases.

Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux

J. Symb. Log., 2011

2010

A Bisimulation characterization Theorem for Hybrid Logic with the current-State Binder.

Ian M. Hodkinson, Hicham Tahiri

Rev. Symb. Log., 2010

The Bounded Fragment and Hybrid Logic with Polyadic Modalities.

Ian M. Hodkinson

Rev. Symb. Log., 2010

Axiomatizing hybrid logic using modal logic.

Ian M. Hodkinson, Louis Paternault

J. Appl. Log., 2010

Interval Temporal Logics with Chop-Like Operators.

Ian M. Hodkinson

Proceedings of the TIME 2010, 2010

2009

Strongly representable atom structures of cylindric algebras.

Robin Hirsch, Ian M. Hodkinson

J. Symb. Log., 2009

Commutativity of Quantifiers in Varying-Domain Kripke Models.

Robert Goldblatt, Ian M. Hodkinson

Proceedings of the Towards Mathematical Philosophy, 2009

2008

The modal logic of affine planes is not finitely axiomatisable.

Ian M. Hodkinson, Altaf Hussain

J. Symb. Log., 2008

Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T.

Ian M. Hodkinson, Angelo Montanari, Guido Sciavicco

Proceedings of the Computer Science Logic, 22nd International Workshop, 2008

2007

Temporal logic.

Ian M. Hodkinson, Mark Reynolds

Proceedings of the Handbook of Modal Logic., 2007

2006

Hybrid Formulas and Elementarily Generated Modal Logics.

Ian M. Hodkinson

Notre Dame J. Formal Log., 2006

Complexity of monodic guarded fragments over linear and real time.

Ian M. Hodkinson

Ann. Pure Appl. Log., 2006

2005

Separation - Past, Present, and Future.

Ian M. Hodkinson, Mark Reynolds

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two, 2005

2004

All Normal Extensions of S5-squared Are Finitely Axiomatizable.

Nick Bezhanishvili, Ian M. Hodkinson

Stud Logica, 2004

On Non-local Propositional and Weak Monodic Quantified CTL.

Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev

J. Log. Comput., 2004

Erdös graphs resolve Fine's canonicity problem.

Robert Goldblatt, Ian M. Hodkinson, Yde Venema

Bull. Symb. Log., 2004

2003

Finite conformal hypergraph covers and Gaifman cliques in finite structures.

Ian M. Hodkinson, Martin Otto

Bull. Symb. Log., 2003

On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics.

Ian M. Hodkinson, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev

Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

2002

Monodic Packed Fragment with Equality is Decidable.

Ian M. Hodkinson

Stud Logica, 2002

Loosely Guarded Fragment of First-Order Logic has the Finite Model Property.

Ian M. Hodkinson

Stud Logica, 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

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

Provability with finitely many variables.

Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux

Bull. Symb. Log., 2002

On Non-Local Propositional and Local One-Variable Quantified CTL*.

Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev

Proceedings of the 9th International Symposium on Temporal Representation and Reasoning, 2002

Decidable and Undecidable Fragments of First-Order Branching Temporal Logics.

Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

2001

Relation algebras form cylindric algebras, II.

Robin Hirsch, Ian M. Hodkinson

Ann. Pure Appl. Log., 2001

Relation algebras form cylindric algebras, I.

Robin Hirsch, Ian M. Hodkinson

Ann. Pure Appl. Log., 2001

Monodic fragments of first-order temporal logics: 2000-2001 A.D.

Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev

Proceedings of the Logic for Programming, 2001

2000

Decidable fragment of first-order temporal logics.

Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev

Ann. Pure Appl. Log., 2000

Relation Algebras with n-Dimensional Relational Bases.

Robin Hirsch, Ian M. Hodkinson

Ann. Pure Appl. Log., 2000

1999

Finite Algebras of Relations Are Representable on Finite Sets.

Hajnal Andréka, Ian M. Hodkinson, István Németi

J. Symb. Log., 1999

1998

Colorful reducts.

Ian M. Hodkinson, Szabolcs Mikulás

Proceedings of the Participants Copies for Relational Methods in Logic, 1998

Connections between cylindric algebras and relation algebras.

Robin Hirsch, Ian M. Hodkinson

Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997

Complete Representations in Algebraic Logic.

Robin Hirsch, Ian M. Hodkinson

J. Symb. Log., 1997

Step by Step - Building Representations in Algebraic Logic.

Robin Hirsch, Ian M. Hodkinson

J. Symb. Log., 1997

The <i>k</i>-variable property is stronger than H-dimension <i>k</i>.

Ian M. Hodkinson, András Simon

J. Philos. Log., 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

Axiomatising Various Classes of Relation and Cylindric Algebras.

Robin Hirsch, Ian M. Hodkinson

Log. J. IGPL, 1997

Atom Structures of Cylindric Algebras and Relation Algebras.

Ian M. Hodkinson

Ann. Pure Appl. Log., 1997

The finite base property for some cylindric-relativized algebras (Abstract).

Hajnal Andréka, Ian M. Hodkinson, István Németi

Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

1996

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, Michael Fisher

Log. J. IGPL, 1996

1995

On Gabbay's Temporal Fixed Point Operator.

Ian M. Hodkinson

Theor. Comput. Sci., 1995

1994

Finite H-dimension does not imply expressive completeness.

Ian M. Hodkinson

J. Philos. Log., 1994

Addendum to: Finite Variable Logics.

Ian M. Hodkinson

Bull. EATCS, 1994

1993

Finite variable logics.

Ian M. Hodkinson

Bull. EATCS, 1993

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

Omega-Categoricity, Relative Categoricity and Coordinatisation.

Wilfried Hodges, Ian M. Hodkinson, Dugald Macpherson

Ann. Pure Appl. Log., 1990

1989

Using the Temporal Logic RDL for Design Specifications.

Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter

Proceedings of the Concurrency: Theory, 1989

1988

Relational Structures Determined by Their Finite Induced Substructures.

Ian M. Hodkinson, H. D. Macpherson

J. Symb. Log., 1988