О сходимости позитивных схем S4 и Int С.И. Мардаев; S. I. Mardaev; S. I. Mardaev; S. I. Mardaev — 1994 Algebra i Logika
Негативные модальные схемы. С.И. Мардаев; S. I. Mardaev; S. I. Mardaev; S. I. Mardaev — 1998 Algebra i Logika