1. Benton, Roy A., “Strong modal completeness with respect to neighborhood semantics,” unpublished manuscript, Department of Philosophy, The University of Michigan, 1975.
2. Chellas, Brian F., Modal Logic: An Introduction, Cambridge University Press, Cambridge and New York, 1980; reprinted with corrections 1988. Zbl 0431.03009 MR 81i:03019
3. Cresswell, M. J., “The interpretation of some Lewis systems of modal logic,” Australasian Journal of Philosophy, vol. 45 (1967), pp. 198–206.
4. Cresswell, M. J., “The completeness of S1 and some related problems,” Notre Dame Journal of Formal Logic, vol. 13 (1972), pp. 485–496. Zbl 0242.02019 MR 50:6794
5. Cresswell, M. J., “S1 is not so simple,” pp. 29–40 in Modality, Morality and Belief: Essays in Honor of Ruth Barcan Marcus, edited by Walter Sinnott-Armstrong, Diana Raffman, and Nicholas Asher, Cambridge University Press, Cambridge, 1995.