| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. Ian M. Hodkinson 21 Ian M. Hodkinson, Frank Wolter , Michael Zakharyaschev : Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. LICS 2002 : 393-402 20 Sebastian Bauer , Ian M. Hodkinson, Frank Wolter , Michael Zakharyaschev : On Non-Local Propositional and Local One-Variable Quantified CTL*. TIME 2002 : 2-9 19 Ian M. Hodkinson: Loosely Guarded Fragment of First-Order Logic has the Finite Model Property. Studia Logica 70 (2): 205-240 (2002) 18 Ian M. Hodkinson: Monodic Packed Fragment with Equality is Decidable. Studia Logica 72 (2): 185-197 (2002) 17 Ian M. Hodkinson, Frank Wolter , Michael Zakharyaschev : Monodic fragments of first-order temporal logics: 2000-2001 A.D. LPAR 2001 : 1-23 16 Robin Hirsch , Ian M. Hodkinson: Relation algebras form cylindric algebras, I. Annals of Pure and Applied Logic 112 (2-3): 225-266 (2001) 15 Robin Hirsch , Ian M. Hodkinson: Relation algebras form cylindric algebras, II. Annals of Pure and Applied Logic 112 (2-3): 267-297 (2001) 14 Robin Hirsch , Ian M. Hodkinson: Relation Algebras with n-Dimensional Relational Bases. Annals of Pure and Applied Logic 101 (2-3): 227-274 (2000) 13 Ian M. Hodkinson, Frank Wolter , Michael Zakharyaschev : Decidable fragment of first-order temporal logics. Annals of Pure and Applied Logic 106 (1-3): 85-134 (2000) 12 Robin Hirsch , Ian M. Hodkinson: Connections between cylindric algebras and relation algebras. RelMiCS 1998 : 100-105 11 Ian M. Hodkinson, Szabolcs Mikulás : Colorful reducts. RelMiCS 1998 : 106-110 10 Hajnal Andréka , Ian M. Hodkinson, István Németi : The finite base property for some cylindric-relativized algebras (Abstract). RelMiCS 1997 : 81 9 Ian M. Hodkinson: Atom Structures of Cylindric Algebras and Relation Algebras. Annals of Pure and Applied Logic 89 (2-3): 117-148 (1997) 8 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) 7 Robin Hirsch , Ian M. Hodkinson: Step by Step - Building Representations in Algebraic Logic. The Journal of Symbolic Logic 62 (1): 225-279 (1997) 6 Robin Hirsch , Ian M. Hodkinson: Complete Representations in Algebraic Logic. The Journal of Symbolic Logic 62 (3): 816-847 (1997) 5 Ian M. Hodkinson: On Gabbay's Temporal Fixed Point Operator. TCS 139 (1&2): 1-25 (1995) 4 Ian M. Hodkinson: Finite variable logics. Bulletin of the EATCS 51 : 111-140 (1993) 3 Wilfried Hodges , Ian M. Hodkinson, Dugald Macpherson : Omega-Categoricity, Relative Categoricity and Coordinatisation. Annals of Pure and Applied Logic 46 (2): 169-199 (1990) 2 Dov M. Gabbay , Ian M. Hodkinson: An Axiomitization of the Temporal Logic with Until and Since over the Real Numbers. Journal of Logic and Computation 1 (2): 229-259 (1990) 1 Dov M. Gabbay , Ian M. Hodkinson, Anthony Hunter : Using the Temporal Logic RDL for Design Specifications. Concurrency: Theory, Language, And Architecture 1989 : 64-78  DiSC'03 © 2003 Association for Computing Machinery |
