亚历山大·查格罗夫;扎卡里亚舍夫,迈克尔 模态逻辑。 (英语) Zbl 0871.03007号 牛津逻辑指南. 35. 牛津:克拉伦登出版社。xv,605页(1997年)。 审核人:L.F.Goble(塞勒姆) MSC公司:03B45 2002年3月 03-01 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{A.Chagrov}和\textit{M.Zakharyaschev},模态逻辑。牛津:克拉伦登出版社(1997;Zbl 0871.03007)
查格罗夫。 各种逻辑矩阵。 (英语。俄文原件) Zbl 0617.03013号 代数逻辑 24, 278-325 (1985); 翻译自《代数逻辑》24,第4期,426-489(1985)。 审核人:A.乌尔西尼 MSC公司:03B99号 03B45 03B55号 03G25号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Chagrov},代数逻辑24,278--325(1985;Zbl 0617.03013);《代数逻辑学》24,第4期,426--489(1985)的译文 全文: 内政部 欧洲DML