| 2006 |
|---|
| 37 | | Guido Governatori,
Ian M. Hodkinson,
Yde Venema:
Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006
College Publications 2006 |
| 36 | EE | Ian M. Hodkinson:
Complexity of monodic guarded fragments over linear and real time.
Ann. Pure Appl. Logic 138(1-3): 94-125 (2006) |
| 2005 |
|---|
| 35 | | Ian M. Hodkinson,
Mark Reynolds:
Separation - Past, Present, and Future.
We Will Show Them! (2) 2005: 117-142 |
| 2004 |
|---|
| 34 | EE | Robert Goldblatt,
Ian M. Hodkinson,
Yde Venema:
Erdös graphs resolve Fine's canonicity problem.
Bulletin of Symbolic Logic 10(2): 186-208 (2004) |
| 33 | EE | Sebastian Bauer,
Ian M. Hodkinson,
Frank Wolter,
Michael Zakharyaschev:
On Non-local Propositional and Weak Monodic Quantified CTL.
J. Log. Comput. 14(1): 3-22 (2004) |
| 32 | EE | Nick Bezhanishvili,
Ian M. Hodkinson:
All Normal Extensions of S5-squared Are Finitely Axiomatizable.
Studia Logica 78(3): 443-457 (2004) |
| 2003 |
|---|
| 31 | EE | 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: 91-98 |
| 30 | EE | Ian M. Hodkinson,
Martin Otto:
Finite conformal hypergraph covers and Gaifman cliques in finite structures.
Bulletin of Symbolic Logic 9(3): 387-407 (2003) |
| 2002 |
|---|
| 29 | EE | Ian M. Hodkinson,
Frank Wolter,
Michael Zakharyaschev:
Decidable and Undecidable Fragments of First-Order Branching Temporal Logics.
LICS 2002: 393-402 |
| 28 | EE | Sebastian Bauer,
Ian M. Hodkinson,
Frank Wolter,
Michael Zakharyaschev:
On Non-Local Propositional and Local One-Variable Quantified CTL*.
TIME 2002: 2-9 |
| 27 | EE | Robin Hirsch,
Ian M. Hodkinson,
Roger D. Maddux:
Provability with finitely many variables.
Bulletin of Symbolic Logic 8(3): 348-379 (2002) |
| 26 | | 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): 197-213 (2002) |
| 25 | | 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): 221-234 (2002) |
| 24 | | Ian M. Hodkinson:
Loosely Guarded Fragment of First-Order Logic has the Finite Model Property.
Studia Logica 70(2): 205-240 (2002) |
| 23 | | Ian M. Hodkinson:
Monodic Packed Fragment with Equality is Decidable.
Studia Logica 72(2): 185-197 (2002) |
| 2001 |
|---|
| 22 | EE | Ian M. Hodkinson,
Frank Wolter,
Michael Zakharyaschev:
Monodic fragments of first-order temporal logics: 2000-2001 A.D.
LPAR 2001: 1-23 |
| 21 | | Robin Hirsch,
Ian M. Hodkinson:
Relation algebras form cylindric algebras, I.
Ann. Pure Appl. Logic 112(2-3): 225-266 (2001) |
| 20 | | Robin Hirsch,
Ian M. Hodkinson:
Relation algebras form cylindric algebras, II.
Ann. Pure Appl. Logic 112(2-3): 267-297 (2001) |
| 2000 |
|---|
| 19 | | Robin Hirsch,
Ian M. Hodkinson:
Relation Algebras with n-Dimensional Relational Bases.
Ann. Pure Appl. Logic 101(2-3): 227-274 (2000) |
| 18 | | Ian M. Hodkinson,
Frank Wolter,
Michael Zakharyaschev:
Decidable fragment of first-order temporal logics.
Ann. Pure Appl. Logic 106(1-3): 85-134 (2000) |
| 1999 |
|---|
| 17 | | Hajnal Andréka,
Ian M. Hodkinson,
István Németi:
Finite Algebras of Relations Are Representable on Finite Sets.
J. Symb. Log. 64(1): 243-267 (1999) |
| 1998 |
|---|
| 16 | | Robin Hirsch,
Ian M. Hodkinson:
Connections between cylindric algebras and relation algebras.
RelMiCS 1998: 100-105 |
| 15 | | Ian M. Hodkinson,
Szabolcs Mikulás:
Colorful reducts.
RelMiCS 1998: 106-110 |
| 1997 |
|---|
| 14 | | Hajnal Andréka,
Ian M. Hodkinson,
István Németi:
The finite base property for some cylindric-relativized algebras (Abstract).
RelMiCS 1997: 81 |
| 13 | | Ian M. Hodkinson:
Atom Structures of Cylindric Algebras and Relation Algebras.
Ann. Pure Appl. Logic 89(2-3): 117-148 (1997) |
| 12 | | Robin Hirsch,
Ian M. Hodkinson:
Step by Step - Building Representations in Algebraic Logic.
J. Symb. Log. 62(1): 225-279 (1997) |
| 11 | | Robin Hirsch,
Ian M. Hodkinson:
Complete Representations in Algebraic Logic.
J. Symb. Log. 62(3): 816-847 (1997) |
| 10 | | Ian M. Hodkinson:
L. Csirmaz, D. Gabbay, M. de Rijke, eds., Logic Colloquium '92, Studies in Logic Language, and Information.
Journal of Logic, Language and Information 6(4): 453-457 (1997) |
| 9 | EE | Robin Hirsch,
Ian M. Hodkinson:
Axiomatising Various Classes of Relation and Cylindric Algebras.
Logic Journal of the IGPL 5(2): (1997) |
| 1996 |
|---|
| 8 | EE | 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.
Logic Journal of the IGPL 4(2): 255-272 (1996) |
| 1995 |
|---|
| 7 | EE | Ian M. Hodkinson:
On Gabbay's Temporal Fixed Point Operator.
Theor. Comput. Sci. 139(1&2): 1-25 (1995) |
| 1994 |
|---|
| 6 | | Ian M. Hodkinson:
Addendum to: Finite Variable Logics.
Bulletin of the EATCS 52: 278 (1994) |
| 1993 |
|---|
| 5 | | Ian M. Hodkinson:
Finite variable logics.
Bulletin of the EATCS 51: 111-140 (1993) |
| 1990 |
|---|
| 4 | | Wilfried Hodges,
Ian M. Hodkinson,
Dugald Macpherson:
Omega-Categoricity, Relative Categoricity and Coordinatisation.
Ann. Pure Appl. Logic 46(2): 169-199 (1990) |
| 3 | | 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): 229-259 (1990) |
| 1989 |
|---|
| 2 | | Dov M. Gabbay,
Ian M. Hodkinson,
Anthony Hunter:
Using the Temporal Logic RDL for Design Specifications.
Concurrency: Theory, Language, And Architecture 1989: 64-78 |
| 1988 |
|---|
| 1 | | Ian M. Hodkinson,
H. D. Macpherson:
Relational Structures Determined by Their Finite Induced Substructures.
J. Symb. Log. 53(1): 222-230 (1988) |
