1. Quantum Logic. In: and (eds.), Handbook of Philosophical Logic, vol. III. Reidel Publ. Comp., Dordrecht 1985.
2. Semantic analysis of orthologic
3. and , An Introduction to Modal Logic. Methuen, London 1968.
4. and , A Companion to Modal Logic. Methuen, London 1984.
5. Propositional Logics Related to Heyting's and Johansson's