| 2016 | AiML | The Tangled Derivative Logic of the Real Line and Zero-Dimensional Space. | Robert Goldblatt, Ian M. Hodkinson |
| 2010 | TIME | Interval Temporal Logics with Chop-Like Operators. | Ian M. Hodkinson |
| 2008 | CSL | Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T. | Ian M. Hodkinson, Angelo Montanari, Guido Sciavicco |
| 2003 | TIME | On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics. | Ian M. Hodkinson, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
| 2002 | LICS | Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. | Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev |
| 2002 | TIME | On Non-Local Propositional and Local One-Variable Quantified CTL*. | Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev |
| 2001 | LPAR | Monodic fragments of first-order temporal logics: 2000-2001 A.D. | Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev |
| 1989 | CONCUR | Using the Temporal Logic RDL for Design Specifications. | Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter |