Ian Hodkinson: Research papers
Travel to home page | Some
open problems in algebraic logic | Computability,
algorithms and complexity course notes
Here are some papers of mine or of which I am a co-author. Clicking
on a paper gives more information and the opportunity to download it. Files
are generally postscript, compressed using gzip. You will need to decompress
them, using (in Unix)
gunzip FileName.ps.gz
If you have any trouble printing (or indeed accessing) them, please
email me at imh@doc.ic.ac.uk.
A. Gzip'd postscript files on algebraic logic etc
-
Axiomatising various classes of relation and cylindric
algebras [survey]
-
Games
in algebraic logic
A very gentle introduction to algebraic logic and the game-theoretic
approach to the representability problem. Presented at the Amsterdam
Colloquium, December 1997, organised by the Institute for Logic, Language
and Computation.
-
Step by step --- building representations in algebraic
logic
-
Complete representations in algebraic logic
-
Atom structures
-
Mosaics and step-by-step -- Remarks on A modal
logic of relations by Venema & Marx
-
Finite algebras of relations are representable on finite
sets
-
Representability is not decidable for finite relation
algebras
-
Relation algebras with n-dimensional relational
bases
-
Nonfinite axiomatisabiliy of reducts of relation and
cylindric algebras
-
Connections
between cylindric algebras and relation algebras
-
6-page
survey by Hirsch-Hodkinson
-
Fuller work on relation algebras from cylindric algebras
See also a description of a current EPSRC-sponsored project on
Relation
Algebras of Action and Indeterminacy. This has some links that may
be of use.
B. Gzip'd postscript files on temporal logic
and finite variable fragments etc
-
On Gabbay's temporal fixed point operator
-
Finite variable logics
-
The k-variable property is stronger than H-dimension
k
-
Logics and Complexity in Finite Model Theory