1. G. S. Boolos, The Unprovability of Consistency. An Essay in Modal Logic, Cambridge University Press, Cambridge 1978.
2. C. C. Chang and H. J. Keisler, Model Theory, North-Holland, Amsterdam 1973.
3. B. F. Chellas, Modal Logic. An Introduction, Cambridge University Press, Cambridge 1980.
4. D. M. Gabbay, Decidability results in non classical logics, Annals of Mathematical Logic 8 (1975), pp. 237?295.
5. L. F. Goble, Grades of modality, Logique et Analyse 13 (1970), pp. 323?334.