1. Anderson, A. and Belnap, N.: 1975, Entailment; the Logic of Revelance and Necessity (Princeton University Press).
2. Enderton, H.: 1972, A Mathematical Introduction to Logic (Academic Press, London).
3. Hughes, G. and Cresswell, M.: 1968, An Introduction to Modal Logic (Methuen and Co., London).
4. Segerberg, K.: 1968, Prepositional logics related to Heyting's and Johansson's, Theoria 34, pp. 26?61.