| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nick Bezhanishvili, Ian M. Hodkinson |
Sahlqvist theorem for modal fixed point logic.  |
Theor. Comput. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan van Benthem, Nick Bezhanishvili, Ian M. Hodkinson |
Sahlqvist Correspondence for Modal mu-calculus. |
Studia Logica |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian M. Hodkinson, Szabolcs Mikulás |
On canonicity and completions of weakly representable relation algebras. |
J. Symb. Log. |
2012 |
DBLP BibTeX RDF |
|
| 1 | Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux |
Weak representations of relation algebras and relational bases. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Robin Hirsch, Ian M. Hodkinson |
Strongly representable atom structures of cylindric algebras. |
J. Symb. Log. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ian M. Hodkinson |
Complexity of monodic guarded fragments over linear and real time. |
Ann. Pure Appl. Logic |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Governatori, Ian M. Hodkinson, Yde Venema (eds.) |
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 |
Advances in Modal Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ian M. Hodkinson, Mark Reynolds |
Separation - Past, Present, and Future. |
We Will Show Them! |
2005 |
DBLP BibTeX RDF |
|
| 1 | Nick Bezhanishvili, Ian M. Hodkinson |
All Normal Extensions of S5-squared Are Finitely Axiomatizable. |
Studia Logica |
2004 |
DBLP DOI BibTeX RDF |
finite axiomatization, better-quasi-ordering, NP-complete, modal logic |
| 1 | Robert Goldblatt, Ian M. Hodkinson, Yde Venema |
Erdös graphs resolve Fine's canonicity problem. |
Bulletin of Symbolic Logic |
2004 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev |
On Non-local Propositional and Weak Monodic Quantified CTL. |
J. Log. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian M. Hodkinson, Martin Otto |
Finite conformal hypergraph covers and Gaifman cliques in finite structures. |
Bulletin of Symbolic Logic |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ian M. Hodkinson, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics. (PDF / PS) |
TIME |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian M. Hodkinson |
Monodic Packed Fragment with Equality is Decidable. |
Studia Logica |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian M. Hodkinson |
Loosely Guarded Fragment of First-Order Logic has the Finite Model Property. |
Studia Logica |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux |
Relation Algebra Reducts of Cylindric Algebras and An Application to Proof Theory. |
J. Symb. Log. |
2002 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux |
Provability with finitely many variables. |
Bulletin of Symbolic Logic |
2002 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev |
On Non-Local Propositional and Local One-Variable Quantified CTL*. (PDF / PS) |
TIME |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev |
Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. |
LICS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Hirsch, Ian M. Hodkinson |
Relation algebras form cylindric algebras, I. |
Ann. Pure Appl. Logic |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Hirsch, Ian M. Hodkinson |
Relation algebras form cylindric algebras, II. |
Ann. Pure Appl. Logic |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev |
Monodic fragments of first-order temporal logics: 2000-2001 A.D. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Hirsch, Ian M. Hodkinson |
Relation Algebras with n-Dimensional Relational Bases. |
Ann. Pure Appl. Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev |
Decidable fragment of first-order temporal logics. |
Ann. Pure Appl. Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajnal Andréka, Ian M. Hodkinson, István Németi |
Finite Algebras of Relations Are Representable on Finite Sets. |
J. Symb. Log. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Robin Hirsch, Ian M. Hodkinson |
Connections between cylindric algebras and relation algebras. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Ian M. Hodkinson, Szabolcs Mikulás |
Colorful reducts. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Robin Hirsch, Ian M. Hodkinson |
Axiomatising Various Classes of Relation and Cylindric Algebras. |
Logic Journal of the IGPL |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Hirsch, Ian M. Hodkinson |
Complete Representations in Algebraic Logic. |
J. Symb. Log. |
1997 |
DBLP BibTeX RDF |
|
| 1 | Robin Hirsch, Ian M. Hodkinson |
Step by Step - Building Representations in Algebraic Logic. |
J. Symb. Log. |
1997 |
DBLP BibTeX RDF |
|
| 1 | Ian M. Hodkinson |
Atom Structures of Cylindric Algebras and Relation Algebras. |
Ann. Pure Appl. Logic |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajnal Andréka, Ian M. Hodkinson, István Németi |
The finite base property for some cylindric-relativized algebras (Abstract). |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
| 1 | 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 |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian M. Hodkinson |
On Gabbay's Temporal Fixed Point Operator. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian M. Hodkinson |
Addendum to: Finite Variable Logics. |
Bulletin of the EATCS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Ian M. Hodkinson |
Finite variable logics. |
Bulletin of the EATCS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Dov M. Gabbay, Ian M. Hodkinson |
An Axiomitization of the Temporal Logic with Until and Since over the Real Numbers. |
J. Log. Comput. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Wilfried Hodges, Ian M. Hodkinson, Dugald Macpherson |
Omega-Categoricity, Relative Categoricity and Coordinatisation. |
Ann. Pure Appl. Logic |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter |
Using the Temporal Logic RDL for Design Specifications. |
Concurrency: Theory, Language, And Architecture |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian M. Hodkinson, H. D. Macpherson |
Relational Structures Determined by Their Finite Induced Substructures. |
J. Symb. Log. |
1988 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")