Computing Publications

Publications Home » Authors » Prof Ian Hodkinson

Authors

Prof Ian Hodkinson

12 publications for this author.

Book

Relation algebras by games
Robin Hirsch, Ian Hodkinson
Volume 147
Elsevier
2002

Book Chapter

Separation - past, present, and future [PDF]
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 [PDF]
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 [PDF]
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 [PDF]
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 [PDF]
Nikoloz Bezhanishvili, Ian Hodkinson
Studia Logica
Volume 78, pp.443–457
2004
Finite conformal hypergraph covers and Gaifman cliques in finite structures [PDF]
Ian Hodkinson, Martin Otto
Bulletin of Symbolic Logic
Volume 9, Issue 3, pp.387–405
2003
Strongly representable atom structures of relation algebras [PDF]
Robin Hirsch, Ian Hodkinson
Volume 130, Issue 6, pp.1819–1831
2002
Languages, Meta-Languages and MetateM, A Discussion Paper [PDF]
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 [PDF]
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

BibTeX file for these publications

 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.