Synthesising axioms by games

Robin Hirsch and Ian Hodkinson

A short account of  (some of) the history of the axiomatisation problem in algebraic logic together with a general method of axiomatising PC Delta classes.  This covers probably all the axiomatisations given in the papers above.  Uses games to obtain explicit axioms.  This is a discursive essay not intended as a technical paper, consequently there are no formal proofs.

HTML file
but watch out, the html version was created by latex2html and is not quite right.  The bibliography is missing, for example.

For the complete version try the
Postscript file