1. A. G. Dragalin, Mathematical Intuitionism: An Introduction to Proof Theory [in Russian], Nauka, Moscow (1979).
2. D. M. Gabbay, ?On some new intuitionistic propositional connectives. I,? Stud. Logica,36, No. 1?2, 127?139 (1977).
3. D. P. Skvortsov, ?On intuitionistic calculus of propositions with an additional logical connective,? in: Studies in Nonclassical Logics and Formal Systems [in Russian], Nauka, Moscow (1983), pp. 154?173.
4. A. D. Yashin, ?Intuitionistic logic of predicates with the connective ?tomorrow?,? Vestn. Mosk. Gos. Univ., Ser. 1. Mat. Mekh., No. 4, 19?22 (1982).
5. A. S. Troelstra, ?On second-order propositional operators in intuitionistic logic,? Stud. Logica,40, No. 2, 113?139 (1981).