Computing Publications

Book

Relation algebras by games

Robin Hirsch, Ian Hodkinson

Volume 147

Elsevier

2002

Book Chapter

Separation - past, present, and future

Ian Hodkinson, Mark Reynolds

pp.117–142

College Publications

2005

Journal Articles

Hybrid formulas and elementarily generated modal logics

Ian Hodkinson

Notre Dame Journal of Formal Logic

Volume 47, Issue 4, pp.443–478

Notre Dame, IN

2006

Complexity of monodic guarded fragments over linear and real time

Ian Hodkinson

Annals of Pure and Applied Logic

Volume 138, Issues 1–3, pp.94–125

Elsevier Science Bv

2006

Canonical varieties with no canonical axiomatisation

Ian Hodkinson, Yde Venema

Transactions of the American Mathematical Society

Volume 357, Issue 11, pp.4579–4605

2005

Erdos graphs resolve Fine's canonicity problem

Robert Goldblatt, Ian Hodkinson, Yde Venema

Bulletin of Symbolic Logic

Volume 10, Issue 2, pp.186–208

June, 2004

All normal extensions of S5-squared are finitely axiomatizable

Nikoloz Bezhanishvili, Ian Hodkinson

Studia Logica

Volume 78, pp.443–457

2004

Finite conformal hypergraph covers and Gaifman cliques in finite structures

Ian Hodkinson, Martin Otto

Bulletin of Symbolic Logic

Volume 9, Issue 3, pp.387–405

2003

Strongly representable atom structures of relation algebras

Robin Hirsch, Ian Hodkinson

Volume 130, Issue 6, pp.1819–1831

2002

Languages, Meta-Languages and MetateM, A Discussion Paper

Derek Brough, Peter McBrien, Ian Hodkinson, Anthony Hunter, Mark Reynolds, Dov Gabbay, Howard Barringer, Graham Gough, Richard Owens

Logic Journal of the IGPL

Oxford University Press

March, 1996

Conference or Workshop Paper

Decidable and undecidable fragments of first-order branching temporal logics

Ian Hodkinson, Frank Wolter, Michael Zakharyaschev

Logic in computer science (LICS)

pp.393–402

IEEE Computer Society

2002

Book Review

Games, logic, and constructive sets

Ian Hodkinson

Bulletin of Symbolic Logic

Volume 11, Issue 3, pp.439–442

2005