1. Alan R.Anderson and Nuel D.Belnap,Entailment: The Logic of Relevance and Necessity, Princeton University Press, Princeton, 1975.
2. DavidMakinson, ‘There Are infinitely Many Diodorean Modal Functions’,Journal of Symbolic Logic 31 (1966), 406–408.
3. Krister Segerberg,An Essay in Classical Modal Logic, 3 volumes, Uppsala, 1971.
4. C. I.Lewis and C. H.Langford,Symbolic Logic, 2nd ed., Dover, New York, 1959.
5. E. J.Lemmon and ArthurPrior et al., ‘Calculi of Pure Strict Implication’, inPhilosophical Logic, ed. by J. W.Davis, D. J.Hockney, and W. K.Wilson, D. Reidel, Dordrecht, 1969.