Synthesising axioms by games
Robin Hirsch, Ian Hodkinson · 2001
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.