Robin Hirsch's articles on Logical Games.

• R. Hirsch and I. Hodkinson. Relation Algebras by Games .  Volume 147 in Studies in Logic and the Foundations of Mathematics series, published by Elsevier Science, North-Holland, 2002.  Reviews of the book.
  
• R. Hirsch and I. Hodkinson. Games in algebraic logic.
  Presented at the Amsterdam Colloquium , December 1997, organised by the Institute for Logic, Language and Computation.
  
• R. Hirsch and I. Hodkinson. Axiomatising various classes of relation and cylindric algebras.
  In Proc. Workshop on Logic, Language, Information, and Computation , Recife, July 1995. Also appears in Wollic95 Special Issue of the Journal of the Interest Group in Pure and Applied Logics Vol. 5, No. 2, pp 209 - 229, 1997.
  
• R. Hirsch and I. Hodkinson. Step by step - building representations in algebraic logic.
  In the Journal of Symbolic Logic , volume 62, number 1, pages 225 - 279, March 1997. Includes game-theoretic characterisation of representations of relation algebras and a first-order characterisation of RRA.
  
• R. Hirsch and I. Hodkinson. Complete representations in algebraic logic.
  In the Journal of Symbolic Logic , volume 62, number 3, pages 816-847, September 1997.  Includes proof that the completely representable relation algebras do not form an elementary class, and the same result for cylindric algebras of any fixed dimension.
  
• R. Hirsch. Completely representable relation algebras.
  In the Bulletin of the Interest Group in Pure and Applied Logics ( IGPL ), pp77 -92, volume 3, number 1 , March 1995.
  
• R. Hirsch and I. Hodkinson. Relation algebras with n-dimensional bases
  A revised version appears in the  Annals of Pure and Applied Logic ( vol. 101 pp 227-274, 2000, pub. Elsevier) but for copyright reasons this version cannot be posted here.
• R. Hirsch and I. Hodkinson. Relation algebras from cylindric algebras, I
  In Annals of Pure and Applied Logic , vol. 112, pp 225-266, 2001.
  
• R. Hirsch and I. Hodkinson. Relation algebras from cylindric algebras, II
  In Annals of Pure and Applied Logic , vol. 112, pp 267-297, 2001.
  
• R. Hirsch and I. Hodkinson. Synthesising axioms by games.
  In JFAK - a CD ROM of essays dedicated to Johan van Benthem on the occasion of his 50th birthday.
  
• R. Hirsch. Tractable approximations for temporal constraint handling
  In Artificial Intelligence Journal, vol. 116, pp 287-295, 2000.
  
• R.  Hirsch and I. Hodkinson
  Games in algebraic logic: axiomatisations and beyond.
   Proceedings of "Foundations of the Formal Sciences V: Infinite Games", Bonn November 2004, Bold, Lowe, Rasche, van Bentham (Eds), 2004. To appear in Foundations of the Formal Sciences V, Studies in Logic, Vol. 11, College Publications, 2007.
  
• R.Hirsch. Relation algebra reducts of cylindric algebras and complete representations .