Ian Hodkinson

发表

Games in Algebraic Logic: Axiomatisations and Beyond

Robin Hirsch, Ian Hodkinson, I. Hodkinson, 2007 .

Advances in Modal Logic Volume 6 (Proceedings of the AiML 2006 Conference)

Guido Governatori, Yde Venema, Ian Hodkinson, 2006 .

Mosaics and step-by-step.

Szabolcs Mikulás, Robin Hirsch, Mark Reynolds, 1999 .

RDL: an executable temporal logic for the specification and design of real-time systems

Dov M. Gabbay, Ian Hodkinson, Anthony Hunter, 1990 .

Temporal logic

Mark Reynolds, Ian Hodkinson, Mark Reynolds, 2007, Handbook of Modal Logic.

Temporal logic (vol. 1): mathematical foundations and computational aspects

Dov M. Gabbay, Mark Reynolds, Ian Hodkinson, 1994 .

Chapter 7 – Games and networks

Robin Hirsch, Ian Hodkinson, 2002 .

Chapter 17 - Applying the rainbow construction

Robin Hirsch, Ian Hodkinson, 2002 .

Chapter 10 – Game trees

Robin Hirsch, Ian Hodkinson, I. Hodkinson, 2002 .

Commutativity of Quantifiers in Varying-Domain Kripke Models

Robert Goldblatt, Ian Hodkinson, 2009, Towards Mathematical Philosophy.

Monodic fragments of first-order temporal logics

Sebastian Bauer, Frank Wolter, Michael Zakharyaschev, 2004 .

Every Logic Between K3 and S53 is Undecidable and Non-Finitely Aximatisable

Robin Hirsch, A Kurucz, Ian Hodkinson, 2002 .

Completions and Complete Representations

Robin Hirsch, Ian Hodkinson, 2013 .

Chapter 19 – Finite base property

Robin Hirsch, Ian Hodkinson, 2002 .

Advances in Modal Logic, Volume 6

Yde Venema, Ian Hodkinson, G. Governatori, 2006 .

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

Guido Governatori, Yde Venema, Ian Hodkinson, 2006, Advances in Modal Logic.

Games, logic, and constructive sets, edited by G. Mints and R. Muskens, CSLI Lecture Notes, vol. 161. CSLI Publications, Stanford, CA, 2003, xii + 128 pp.

Ian Hodkinson, 2005 .

Undecidability of Algebras of Binary Relations

Robin Hirsch, Marcel Jackson, Ian Hodkinson, 2021 .

Mosaics and step-by-step. Remarks on “A modal logic of relations”

Maarten Marx, Mark Reynolds, Robin Hirsch, 1999 .

The McKinsey–Lemmon logic is barely canonical

Robert Goldblatt, Ian Hodkinson, R. Goldblatt, 2007 .

Axiomatizability of reducts of algebras of relations

Szabolcs Mikulás, Ian Hodkinson, I. Hodkinson, 2000 .

Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators

Nick Bezhanishvili, Ian Hodkinson, I. Hodkinson, 2012 .

Non-finite axiomatizability of reducts of algebras of relations

Szabolcs Mikulás, Ian Hodkinson, I. Hodkinson, 2007 .

Canonical varieties with no canonical axiomatisation

Yde Venema, Ian Hodkinson, Y. Venema, 2004 .

A construction of cylindric and polyadic algebras from atomic relation algebras

Ian Hodkinson, 2012 .

Simple completeness proofs for some spatial logics of the real line

Ian Hodkinson, I. Hodkinson, 2013 .

The Small Index Property for ω‐Stable (ω‐Categorical Structures and for the Random Graph

Saharon Shelah, Wilfrid Hodges, Ian Hodkinson, 1993 .

On canonical modal logics that are not elementarily determined

Robert Goldblatt, Yde Venema, Ian Hodkinson, 2003 .

Axiomatizing complex algebras by games

Szabolcs Mikulás, Yde Venema, Ian Hodkinson, 2001 .

Representability is not decidable for finite relation algebras

Robin Hirsch, Ian Hodkinson, I. Hodkinson, 1999 .

Strongly representable atom structures of relation algebras

Robin Hirsch, Ian Hodkinson, I. Hodkinson, 2001 .

Relation Algebras from Cylindric Algebras, Ii Version 6.3

Robin Hirsch, Ian Hodkinson, I. Hodkinson, 1999 .