Ian M. Hodkinson

67 papers A* 1B 4C 4Journal 51Unranked 5

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Canonicity in Power and Modal Logics of finite Achronal Width. Rev. Symb. Log. Robert Goldblatt, Ian M. Hodkinson
2022	J	`jnl`	Canonicity in power and modal logics of finite achronal width. CoRR Robert Goldblatt, Ian M. Hodkinson
2020	J	`jnl`	Non-representable relation algebras from vector spaces. Australas. J. Log. Ian M. Hodkinson
2020	J	`jnl`	Strong Completeness of Modal Logics over 0-dimensional Metric Spaces. Rev. Symb. Log. Robert Goldblatt, Ian M. Hodkinson
2019	J	`jnl`	Strong completeness of modal logics over 0-dimensional metric spaces. CoRR Robert Goldblatt, Ian M. Hodkinson
2018	J	`jnl`	The Finite Model Property for Logics with the Tangle Modality. Stud Logica Robert Goldblatt, Ian M. Hodkinson
2017	J	`jnl`	Spatial logic of tangled closure operators and modal mu-calculus. Ann. Pure Appl. Log. Robert Goldblatt, Ian M. Hodkinson
2016	J	`jnl`	Spatial logic of modal mu-calculus and tangled closure operators. CoRR Robert Goldblatt, Ian M. Hodkinson
2016	B	`conf`	The Tangled Derivative Logic of the Real Line and Zero-Dimensional Space. Advances in Modal Logic Robert Goldblatt, Ian M. Hodkinson
2015	C	`conf`	Connections between Relation Algebras and Cylindric Algebras. RAMiCS Ian M. Hodkinson
2014	J	`jnl`	On the Priorean temporal logic with 'around now' over the real line. J. Log. Comput. Ian M. Hodkinson
2013	J	`jnl`	Bare canonicity of representable cylindric and polyadic algebras. Ann. Pure Appl. Log. Jannis Bulian, Ian M. Hodkinson
2012	J	`jnl`	Bare canonicity of representable cylindric and polyadic algebras CoRR Jannis Bulian, Ian M. Hodkinson
2012	J	`jnl`	On canonicity and completions of weakly representable relation algebras. J. Symb. Log. Ian M. Hodkinson, Szabolcs Mikulás
2012	J	`jnl`	Sahlqvist Correspondence for Modal mu-calculus. Stud Logica Johan van Benthem, Nick Bezhanishvili, Ian M. Hodkinson
2012	J	`jnl`	Sahlqvist theorem for modal fixed point logic. Theor. Comput. Sci. Nick Bezhanishvili, Ian M. Hodkinson
2011	J	`jnl`	Weak representations of relation algebras and relational bases. J. Symb. Log. Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux
2010	J	`jnl`	A Bisimulation characterization Theorem for Hybrid Logic with the current-State Binder. Rev. Symb. Log. Ian M. Hodkinson, Hicham Tahiri
2010	J	`jnl`	Axiomatizing hybrid logic using modal logic. J. Appl. Log. Ian M. Hodkinson, Louis Paternault
2010	C	`conf`	Interval Temporal Logics with Chop-Like Operators. TIME Ian M. Hodkinson
2010	J	`jnl`	The Bounded Fragment and Hybrid Logic with Polyadic Modalities. Rev. Symb. Log. Ian M. Hodkinson
2009	—	`ch.`	Commutativity of Quantifiers in Varying-Domain Kripke Models. Towards Mathematical Philosophy Robert Goldblatt, Ian M. Hodkinson
2009	J	`jnl`	Strongly representable atom structures of cylindric algebras. J. Symb. Log. Robin Hirsch, Ian M. Hodkinson
2008	B	`conf`	Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T. CSL Ian M. Hodkinson, Angelo Montanari, Guido Sciavicco
2008	J	`jnl`	The modal logic of affine planes is not finitely axiomatisable. J. Symb. Log. Ian M. Hodkinson, Altaf Hussain
2007	—	`ch.`	Temporal logic. Handbook of Modal Logic Ian M. Hodkinson, Mark Reynolds
2007	J	`jnl`	The McKinsey-Lemmon logic is barely canonical. Australas. J. Log. Robert Goldblatt, Ian M. Hodkinson
2006	B	`ed.`	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 Guido Governatori, Ian M. Hodkinson, Yde Venema
2006	J	`jnl`	Complexity of monodic guarded fragments over linear and real time. Ann. Pure Appl. Log. Ian M. Hodkinson
2006	J	`jnl`	Hybrid Formulas and Elementarily Generated Modal Logics. Notre Dame J. Formal Log. Ian M. Hodkinson
2005	—	`conf`	Separation - Past, Present, and Future. We Will Show Them! (2) Ian M. Hodkinson, Mark Reynolds
2004	J	`jnl`	All Normal Extensions of S5-squared Are Finitely Axiomatizable. Stud Logica Nick Bezhanishvili, Ian M. Hodkinson
2004	J	`jnl`	Erdös graphs resolve Fine's canonicity problem. Bull. Symb. Log. Robert Goldblatt, Ian M. Hodkinson, Yde Venema
2004	J	`jnl`	On Non-local Propositional and Weak Monodic Quantified CTL. J. Log. Comput. Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev
2003	J	`jnl`	Finite conformal hypergraph covers and Gaifman cliques in finite structures. Bull. Symb. Log. Ian M. Hodkinson, Martin Otto
2003	C	`conf`	On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics. TIME Ian M. Hodkinson, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2002	A*	`conf`	Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. LICS Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev
2002	J	`jnl`	Loosely Guarded Fragment of First-Order Logic has the Finite Model Property. Stud Logica Ian M. Hodkinson
2002	J	`jnl`	Monodic Packed Fragment with Equality is Decidable. Stud Logica Ian M. Hodkinson
2002	J	`jnl`	On Modal Logics Between K x K x K and S5 x S5 x S5. J. Symb. Log. Robin Hirsch, Ian M. Hodkinson, Ágnes Kurucz
2002	C	`conf`	On Non-Local Propositional and Local One-Variable Quantified CTL*. TIME Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev
2002	J	`jnl`	Provability with finitely many variables. Bull. Symb. Log. Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux
2002	J	`jnl`	Relation Algebra Reducts of Cylindric Algebras and An Application to Proof Theory. J. Symb. Log. Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux
2001	B	`conf`	Monodic fragments of first-order temporal logics: 2000-2001 A.D. LPAR Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev
2001	J	`jnl`	Relation algebras form cylindric algebras, I. Ann. Pure Appl. Log. Robin Hirsch, Ian M. Hodkinson
2001	J	`jnl`	Relation algebras form cylindric algebras, II. Ann. Pure Appl. Log. Robin Hirsch, Ian M. Hodkinson
2000	J	`jnl`	Decidable fragment of first-order temporal logics. Ann. Pure Appl. Log. Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev
2000	J	`jnl`	Relation Algebras with n-Dimensional Relational Bases. Ann. Pure Appl. Log. Robin Hirsch, Ian M. Hodkinson
1999	J	`jnl`	Finite Algebras of Relations Are Representable on Finite Sets. J. Symb. Log. Hajnal Andréka, Ian M. Hodkinson, István Németi
1998	—	`conf`	Colorful reducts. RelMiCS Ian M. Hodkinson, Szabolcs Mikulás
1998	—	`conf`	Connections between cylindric algebras and relation algebras. RelMiCS Robin Hirsch, Ian M. Hodkinson
1997	J	`jnl`	Atom Structures of Cylindric Algebras and Relation Algebras. Ann. Pure Appl. Log. Ian M. Hodkinson
1997	J	`jnl`	Axiomatising Various Classes of Relation and Cylindric Algebras. Log. J. IGPL Robin Hirsch, Ian M. Hodkinson
1997	J	`jnl`	Complete Representations in Algebraic Logic. J. Symb. Log. Robin Hirsch, Ian M. Hodkinson
1997	J	`jnl`	L. Csirmaz, D. Gabbay, M. de Rijke, eds., Logic Colloquium '92, Studies in Logic Language, and Information. J. Log. Lang. Inf. Ian M. Hodkinson
1997	J	`jnl`	Step by Step - Building Representations in Algebraic Logic. J. Symb. Log. Robin Hirsch, Ian M. Hodkinson
1997	J	`jnl`	The J. Philos. Log. Ian M. Hodkinson, András Simon
1997	—	`conf`	The finite base property for some cylindric-relativized algebras (Abstract). RelMiCS Hajnal Andréka, Ian M. Hodkinson, István Németi
1996	J	`jnl`	Languages, Meta-languages and METATEM, A Discussion Paper. Log. J. IGPL Howard Barringer, Graham Gough, Derek Brough, Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter, Richard Owens, Peter McBrien, Mark Reynolds, Michael Fisher
1995	J	`jnl`	On Gabbay's Temporal Fixed Point Operator. Theor. Comput. Sci. Ian M. Hodkinson
1994	J	`jnl`	Addendum to: Finite Variable Logics. Bull. EATCS Ian M. Hodkinson
1994	J	`jnl`	Finite H-dimension does not imply expressive completeness. J. Philos. Log. Ian M. Hodkinson
1993	J	`jnl`	Finite variable logics. Bull. EATCS Ian M. Hodkinson
1990	J	`jnl`	An Axiomitization of the Temporal Logic with Until and Since over the Real Numbers. J. Log. Comput. Dov M. Gabbay, Ian M. Hodkinson
1990	J	`jnl`	Omega-Categoricity, Relative Categoricity and Coordinatisation. Ann. Pure Appl. Log. Wilfried Hodges, Ian M. Hodkinson, Dugald Macpherson
1989	—	`conf`	Using the Temporal Logic RDL for Design Specifications. Concurrency: Theory, Language, And Architecture Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter
1988	J	`jnl`	Relational Structures Determined by Their Finite Induced Substructures. J. Symb. Log. Ian M. Hodkinson, H. D. Macpherson