## Relation Algebras and their Application in Temporal and Spatial Reasoning

- Ivo Düntsch
- Artificial Intelligence Review
- 2004

- Published 1995 in Math. Log. Q.
DOI:10.1002/malq.19950410207

We discuss some new properties of the natural Galois connection among set relation algebras, permutation groups, and first order logic. In particular, we exhibit infinitely many permutational relation algebras without a Galois closed representation, and we also show that every relation algebra on a set with at most six elements is Galois closed and… CONTINUE READING

### Presentations referencing similar topics