1. J. L. Bell andM. Machover,A Course in Mathematical Logic, North-Holland, Amsterdam 1977.
2. G. Boolos,The Unprovability of Consistency: An Essay in Modal Logic, Cambridge University Press, Cambridge 1979.
3. M. Božić,Positive logic with double negation,Publications de l'Institut Mathématique, Beograd, 35 (49) (1984), pp. 21–31.
4. R. A. Bull,Some modal calculi based on IC, in J. N. Crossley and M. Dummett (eds.),Formal Systems and Recursive Functions, North-Holland, Amsterdam 1965, pp. 3–7.
5. R. A. Bull,A modal extension of intuitionist logic,Notre Dame Journal of Formal Logic 6 (1965), pp. 142–146.