1. A. Bressan, A General Interpreted Modal Calculus. New Haven and London: Yale University Press 1972.
2. S.R. Buss, S.R.; L. Hay, “On Truth-Table Reducibility to SAT”, in: Information and Computation, 9, 1991, pp. 86–102.
3. R. Carnap, “Modalities and Quantification”, in: JSL, 11, 2, June 1946, pp. 33–64.
4. R. Carnap, Meaning and Necessity. Chicago: The University of Chicago Press 1947.
5. M.J. Carroll, “An Axiomatisation of S13”, in: Philosophia, Philosophical Quarterly of Israel, 8, Nos. 2–3, November 1978, pp. 381–382.