1. and , On the axiomatization of finite K-frames. To appear in Studia Logica.
2. The free closure algebra on finitely many generators
3. Algebraic Logic. Chelsea Publishing Company, New York 1962.
4. An Essay in Classical Modal Logic. Filosofiska Studier, Uppsala 1971.