Robin Hirsch and Ian Hodkinson. Relation algebras by games. Elsevier, Amsterdam, 2002, xviii + 691 pp [Book Review]

Bulletin of Symbolic Logic 9 (4):515-520 (2003)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s1079898600004339

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Relation algebras by games Robin Hirsch, Ian Hodkinson: Relation algebras by games. [REVIEW]Roger Maddux - 2003 - Logic Journal of the IGPL 11 (5):577-581.
Dominique Perrin and Jean-Eric Pin. Infinite words: automata, semigroups, logic and games. Pure and Applied Mathematics Series, vol. 141. Elsevier, Amsterdam, 2004, xi + 538 pp. [REVIEW]Thomas Wilke - 2005 - Bulletin of Symbolic Logic 11 (2):246-247.
Algebraic Logic.H. Andréka, James Donald Monk & I. Németi - 1991 - North Holland.
Relation Algebras by Games.Robin Hirsch & Ian Hodkinson - 2003 - Bulletin of Symbolic Logic 9 (4):515-520.
D. M. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. Many-dimensional modal logics: theory and applications. Studies in Logic and the Foundations of Mathematics, vol. 148. Elsevier, Amsterdam, xiv + 747 pp. [REVIEW]Mark Reynolds - 2005 - Bulletin of Symbolic Logic 11 (1):77-79.
Jacobs Bart. Categorical logic and type theory. Studies in logic and the foundations of mathematics, vol. 141. Elsevier, Amsterdam etc. 1999, xvii + 760 pp. [REVIEW]R. A. G. Seely - 2000 - Bulletin of Symbolic Logic 6 (2):225-229.
Marcus Kracht. Tools and techniques in modal logic. Studies in logic and the foundations of mathematics, vol. 142. Elsevier, Amsterdam etc. 1999, xiii + 559 pp. [REVIEW]Guram Bezhanishvili - 2001 - Bulletin of Symbolic Logic 7 (2):278-279.
Jaap van Oosten. Realizability: an introduction to its categorical side. Studies in Logic and the Foundations of Mathematics, vol. 152. Elsevier Science, Amsterdam, 2008, 328 pp. [REVIEW]Peter T. Johnstone - 2010 - Bulletin of Symbolic Logic 16 (3):407-409.
P. G. Odifreddi. Classical recursion theory. Volume II. Studies in logic and the foundations of mathematics, vol. 143. Elsevier, Amsterdam etc. 1999, xvi + 949 pp. [REVIEW]Peter G. Hinman - 2001 - Bulletin of Symbolic Logic 7 (1):71-73.

Analytics

Added to PP
2014-03-22

Downloads
28 (#798,682)

6 months
12 (#294,748)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A New Analysis of Quasianalysis.Hannes Leitgeb - 2007 - Journal of Philosophical Logic 36 (2):181-226.

Add more citations

References found in this work

No references found.

Add more references