1. Angelelli, I.: “The Aristotelian modal syllogistic in modern modal logic,” 1979. In Lorenz (79 vol. 1).
2. Barcan, R.C.: “A functional calculus of first order based on strict implication,” J. Symbolic Logic, 11, 1946, 1–16.
3. Becker, O.: “Zur Logik der Modalitäten,” Jahrbuch fir Philosophie und Phänomenologische Forschung, 11,1930, 497–548. A part is reprinted in Berka and Kreiser (71)
4. Beth, E.W., Nieland, J.J.F.: “Semantic construction of Lewis’s systems S4 and S5,” 1965. In Addison et al. (65).
5. Carnap, R.: “Modalities and Quantification,” J. Symbolic Logic, 11, 1946, 33–64.