|
3
|
Axiomatizability of Reducts of Algebras of Relations
– Ian Hodkinson, Szabolcs Mikulas
|
|
|
Non-Finitely Axiomatizable, Union-Free Reducts of Algebras of Relations
– Ian Hodkinson, Szabolcs Mikulas
- 1997
|
|
9
|
Relation Algebras with n-Dimensional Relational Bases
– Robin Hirsch, Ian Hodkinson
- 1999
|
|
6
|
A Note on Relativised Products of Modal Logics
– Agi Kurucz, Michael Zakharyaschev
- 2003
|
|
4
|
Non-Representable Algebras of Relations
– Andras Simon, Andr As Simon
- 1997
|
|
14
|
Representability is not decidable for finite relation algebras
– Robin Hirsch, Ian Hodkinson
- 1999
|
|
3
|
Provability with Finitely Many Variables
– Robin Hirsch, Ian Hodkinson, Roger, Roger D Maddux
|
|
28
|
Step by Step - Building Representations in Algebraic Logic
– Robin Hirsch, Ian Hodkinson
- 1995
|
|
79
|
On Binary Constraint Problems
– Peter B. Ladkin, Roger D. Maddux
- 1994
|
|
8
|
Canonical Varieties with No Canonical Axiomatisation
– Ian Hodkinson, Yde Venema
- 2003
|
|
|
Preface
– Steven Givant, Hajnal Andréka Contents
|
|
|
The Construction and Analysis of Simple Relation Algebras
– Steven Givant
|
|
4
|
Notions Of Density That Imply Representability In Algebraic Logic
– Hajnal Andréka, Hajnal Andr Eka, Steven Givant, ISTVAN NEMETI, SZABOLCS MIKULAS, Istv An, N Emeti, ANDRAS SIMON, As Simon
- 1998
|
|
5
|
Relation algebras for reasoning about time and space
– Roger D. Maddux
- 1994
|
|
40
|
The Origin of Relation Algebras in the Development and Axiomatization of the Calculus of Relations
– Roger D. Maddux
- 1991
|
|
18
|
Complete Representations in Algebraic Logic
– Robin Hirsch , Ian Hodkinson
|
|
8
|
Relation Algebras from Cylindric Algebras, I
– Robin Hirsch, Ian Hodkinson
- 1999
|
|
12
|
Relation Algebras of Intervals
– Robin Hirsch
- 1994
|
|
1
|
Games in Algebraic Logic
– Robin Hirsch, Ian Hodkinson
- 1998
|
