1. Bressan, A.:A General Interpreted Modal Calculus. New Haven and London, Yale University Press 1972.
2. Bull, R.A.: On possible worlds in propositional calculi.Theoria 34 (1968) pp. 171–182.
3. Cresswell, M.J.:Logics and Languages. London, Methuen, 1973.
4. Feldman, F.: Leibniz and ‘Leibniz' law’.The Philosophical Review, 79 (1970) pp. 510–522.
5. Føllesdal, D.:Referential Opacity and Modal Logic. Oslo, Universitets forlaget, 1966.