Gentzen Style Systems for K45 and K45D. - Grigori F. Shvarts (Logic at Botik, 1989)

Fixed Points in the Propositional Nonmonotonic Logic. - Grigori F. Shvarts (Artif. Intell., 1989)

Autoepistemic Modal Logics. - Grigori F. Shvarts (TARK, 1990)

Modal Nonmonotonic Logics: Ranges, Characterization, Computation. - V. Wiktor Marek; Grigori F. Shvarts; Miroslaw Truszczynski (J. ACM, 1993)