1. G. E. Hughes and M. J. Cresswell, A Companion to Modal Logic, London, Methuen, 1984.
2. H. A. Montgomery and F. R. Routley, Contingency and non-contingency bases for normal modal logics, Logique et Analyse, No 35?36, (1966), pp. 318?328.
3. K. Segerberg, Classical Propositional Operators, Oxford, Clarendon Press, 1982.