1. K. Sasaki, Bull. Sec. Logic Polish Acad. Sci. Inst. Phil. Sociol. 18(3), 94–99 (1989).
2. K. Sasaki, S. Shundo, and T. Hosoi, SUT J. Math. 30(2), 107–128 (1994).
3. S. C. Kleene, Introduction to Metamathematics (Van Nostrand, New York, 1952; Inostrannaya Literatura, Moscow, 1957).
4. R. Feys, Modal Logic (Gauthier, Paris, 1965; Nauka, Moscow, 1974).
5. A. V. Chagrov, in Mathematical Questions of Cybernetics (Nauka, Moscow, 1994), No. 5, pp. 62–108 [in Russian].