Ian Hodkinson

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Canonicity in power and modal logics of finite achronal width The Review of Symbolic Logic	2024-11-14	Paper
Canonicity in power and modal logics of finite achronal width	2022-07-25	Paper
Undecidability of Algebras of Binary Relations Hajnal Andréka and István Németi on Unity of Science	2021-12-10	Paper
Non-representable relation algebras from vector spaces	2021-02-06	Paper
An application of first-order compactness in canonicity of relation algebras	2020-12-18	Paper
Strong completeness of modal logics over 0-dimensional metric spaces The Review of Symbolic Logic	2020-08-26	Paper
On the variety generated by completions of representable relation algebras Algebra Universalis	2020-02-18	Paper
scientific article; zbMATH DE number 6863653 (Why is no real title available?)	2018-04-23	Paper
The finite model property for logics with the tangle modality Studia Logica	2018-04-04	Paper
Tangled closure algebras arXiv preprint	2017-10-11	Paper
Simple completeness proofs for some spatial logics of the real line Proceedings of the 12th Asian Logic Conference	2017-05-31	Paper
Spatial logic of tangled closure operators and modal mu-calculus Annals of Pure and Applied Logic	2017-03-16	Paper
Connections between Relation Algebras and Cylindric Algebras Relational and Algebraic Methods in Computer Science	2016-01-08	Paper
On the Priorean temporal logic with `around now' over the real line Journal Of Logic And Computation	2015-02-11	Paper
Bare canonicity of representable cylindric and polyadic algebras Annals of Pure and Applied Logic	2013-12-11	Paper
Completions and complete representations	2013-10-16	Paper
A construction of cylindric and polyadic algebras from atomic relation algebras Algebra Universalis	2013-01-30	Paper
Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators Algebra Universalis	2012-11-27	Paper
Sahlqvist correspondence for modal mu-calculus Studia Logica	2012-10-01	Paper
Sahlqvist theorem for modal fixed point logic Theoretical Computer Science	2012-05-14	Paper
On canonicity and completions of weakly representable relation algebras Journal of Symbolic Logic	2012-04-19	Paper
Weak representations of relation algebras and relational bases Journal of Symbolic Logic	2011-10-10	Paper
Separation -- past, present, and future	2011-07-06	Paper
Monodic fragments of first-order temporal logics: 2000--2001 A.D. Logic for Programming, Artificial Intelligence, and Reasoning	2011-05-06	Paper
Axiomatizing hybrid logic using modal logic Journal of Applied Logic	2011-03-22	Paper
The bounded fragment and hybrid logic with polyadic modalities The Review of Symbolic Logic	2010-07-23	Paper
A BISIMULATION CHARACTERIZATION THEOREM FOR HYBRID LOGIC WITH THE CURRENT-STATE BINDER The Review of Symbolic Logic	2010-07-23	Paper
Strongly representable atom structures of cylindric algebras Journal of Symbolic Logic	2009-09-29	Paper
The McKinsey-Lemmon logic is barely canonical	2009-05-27	Paper
The modal logic of affine planes is not finitely axiomatisable Journal of Symbolic Logic	2009-03-23	Paper
Commutativity of Quantifiers in Varying-Domain Kripke Models Towards Mathematical Philosophy	2009-02-05	Paper
Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T Computer Science Logic	2008-11-20	Paper
Games in algebraic logic: axiomatisations and beyond	2008-07-01	Paper
Hybrid formulas and elementarily generated modal logics Notre Dame Journal of Formal Logic	2007-08-01	Paper
Complexity of monodic guarded fragments over linear and real time Annals of Pure and Applied Logic	2005-12-29	Paper
Canonical varieties with no canonical axiomatisation Transactions of the American Mathematical Society	2005-07-26	Paper
Erdős Graphs Resolve Fine's Canonicity Problem The Bulletin of Symbolic Logic	2005-05-24	Paper
Axiomatizing complex algebras by games. Algebra Universalis	2005-04-19	Paper
All normal extensions of S5-squared are finitely axiomatizable Studia Logica	2005-04-07	Paper
scientific article; zbMATH DE number 2149469 (Why is no real title available?)	2005-03-30	Paper
Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures The Bulletin of Symbolic Logic	2005-02-09	Paper
Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures The Bulletin of Symbolic Logic	2005-02-09	Paper
Provability with Finitely Many Variables The Bulletin of Symbolic Logic	2003-11-19	Paper
Axiomatizability of reducts of algebras of relations Algebra Universalis	2003-04-23	Paper
Monodic packed fragment with equality is decidable Studia Logica	2003-03-12	Paper
Relation algebras from cylindric algebras. II Annals of Pure and Applied Logic	2002-12-11	Paper
Relation algebras from cylindric algebras. I Annals of Pure and Applied Logic	2002-12-11	Paper
Decidable fragments of first-order temporal logics Annals of Pure and Applied Logic	2002-11-28	Paper
Relation algebra reducts of cylindric algebras and an application to proof theory Journal of Symbolic Logic	2002-10-29	Paper
Relation algebras by games Studies in Logic and the Foundations of Mathematics	2002-10-15	Paper
Loosely guarded fragment of first-order logic has the finite model property Studia Logica	2002-07-08	Paper
scientific article; zbMATH DE number 1735912 (Why is no real title available?)	2002-04-29	Paper
Strongly representable atom structures of relation algebras Proceedings of the American Mathematical Society	2002-03-19	Paper
The \(k\)-variable property is stronger than H-dimension \(k\) Journal of Philosophical Logic	2001-11-25	Paper
Representability is not decidable for finite relation algebras Transactions of the American Mathematical Society	2001-02-19	Paper
Relation algebras with \(n\)-dimensional relational bases Annals of Pure and Applied Logic	2001-01-29	Paper
Finite algebras of relations are representable on finite sets Journal of Symbolic Logic	1999-11-29	Paper
scientific article; zbMATH DE number 1222484 (Why is no real title available?)	1999-08-31	Paper
Atom structures of cylindric algebras and relation algebras Annals of Pure and Applied Logic	1998-11-01	Paper
Step by step – Building representations in algebraic logic Journal of Symbolic Logic	1997-12-22	Paper
Complete representations in algebraic logic Journal of Symbolic Logic	1997-12-17	Paper
Axiomatising Various Classes of Relation and Cylindric Algebras Logic Journal of the IGPL	1997-06-02	Paper
On Gabbay's temporal fixed point operator Theoretical Computer Science	1997-02-28	Paper
scientific article; zbMATH DE number 747023 (Why is no real title available?)	1995-04-24	Paper
Finite \(H\)-dimension does not imply expressive completeness Journal of Philosophical Logic	1994-11-09	Paper
scientific article; zbMATH DE number 559224 (Why is no real title available?)	1994-04-28	Paper
The Small Index Property for ω‐Stable ω‐Categorical Structures and for the Random Graph Journal of the London Mathematical Society	1994-04-27	Paper
A Construction of Many Uncountable Rings Using SFP Domains and Aronszajn Trees Proceedings of the London Mathematical Society	1994-04-12	Paper
scientific article; zbMATH DE number 510781 (Why is no real title available?)	1994-04-04	Paper
scientific article; zbMATH DE number 446838 (Why is no real title available?)	1994-01-09	Paper
Automorphisms of Bounded Abelian Groups Forum Mathematicum	1992-06-28	Paper
An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers Journal Of Logic And Computation	1992-06-25	Paper
Omega-categoricity, relative categoricity and coordinatisation Annals of Pure and Applied Logic	1990-01-01	Paper
Relational structures determined by their finite induced substructures Journal of Symbolic Logic	1988-01-01	Paper
scientific article; zbMATH DE number 3918350 (Why is no real title available?)	1985-01-01	Paper

Research outcomes over time

This page was built for person: Ian Hodkinson