- The Finite Representation Property for reducts of Relation Algebra
- The Complexity of Constraint Satisfaction Problems for Small Relation Algebras
- We have included exercises in the text. Some of them are simply there for practising the techniques, and some of them are more significant problems. Here we highlight some of the more important problems
- Stefan Bold, Benedikt Lowe, Thoralf Rasch, Johan van Benthem (eds.)
- Positive Fragments of Relevance Logic and Algebras of Binary Relations
- Expressive Power and Complexity in Algebraic Logic Robin Hirsch \Lambda
- Peirce Algebras and Boolean Modules \Lambda September 18, 2006
- Relation algebra reducts of cylindric algebras and an application to proof theory
- We have included exercises in the text. Some of them are simply there for practising the techniques, and some of them are more significant problems. Here we highlight some of the more important problems
- Tractable Approximations for Temporal Constraint Handling \Lambda
- The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000
- Step by Step ---Building Representations in Algebraic Logic
- Evolving Lucene Search Queries for Text Classification Laurence Hirsch
- Relation Algebras from Cylindric Algebras, II Robin Hirsch and Ian Hodkinson \Lambda
- From Points to Intervals Robin Hirsch \Lambda
- The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal
- The Complexity of the Warranted Formula Problem in Propositional Argumentation
- Games in Algebraic Logic Robin Hirsch and Ian Hodkinson
- Completely Representable Relation Algebras Robin Hirsch \Lambda
- PROVABILITY WITH FINITELY MANY VARIABLES ROBIN HIRSCH y , IAN HODKINSON \Lambda , AND ROGER D MADDUX
- Relation Algebras from Cylindric Algebras, I Robin Hirsch and Ian Hodkinson \Lambda
- UNDECIDABLE PROBLEMS ON REPRESENTABILITY AS BINARY RELATIONS.
- Connections between cylindric algebras and relation algebras
- Every logic between K 3 and S5 3 is undecidable and nonfinitely axiomatizable
- Mosaics and stepbystep ---Remarks on `A modal logic of relations'
- Algebra univers. 57 (2007) 333370 0002-5240/07/030333 38, published online November 5, 2007
- A Finite Relation Algebra with Undecidable Network Satisfaction
- Axiomatising Various Classes of Relation and Cylindric Algebras
- Relation algebras with n-dimensional relational bases Draft version 3.2
- Complete Representations in Algebraic Logic Robin Hirsch & Ian Hodkinson \Lambda
- PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY
- Relation Algebras of Intervals Robin Hirsch \Lambda
- Axiomatizability of Representable Domain Algebras Robin Hirsch
- Representable SemilatticeOrdered Monoids Robin Hirsch and Szabolcs Mikul' as
- Relation Algebras of Intervals Ph. D. Thesis of
