菲利普·巴尔比亚尼（编辑）;铃木，Nobu-Yuki（编辑）;弗兰克·沃尔特（编辑）;迈克尔·扎克哈里亚舍夫（编辑） 模态逻辑的进展。第4卷。2002年10月在法国图卢兹举行的第四届会议（AiML 2002）的论文选集。 （英语） Zbl 1062.03008号 伦敦：国王学院出版物（ISBN 0-9543006-1-0/pbk；0-9543006-2-9/hbk）。ii，第523页。(2003).MSC公司：03-06 03B45号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}（编辑）等人，《模态逻辑的进展》。第4卷。2002年10月在法国图卢兹举行的第四届会议（AiML 2002）的论文选集。伦敦：国王学院出版物（2003；Zbl 1062.03008）
D.M.加巴伊。;A.库鲁茨。;F.沃尔特。;Zakharyaschev，M。 多维模态逻辑：理论与应用。 （英语） Zbl 1051.03001号 逻辑与数学基础研究148.阿姆斯特丹：爱思唯尔出版社（ISBN 0-444-50826-0/hbk）。十八、747页。(2003). 审核人：Max A.Freund（墨西哥D.F.） MSC公司：03-02 03B45号 03B70号 03B42号 03B44号 03秒20 03B25号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}等人，《多维模态逻辑：理论与应用》。阿姆斯特丹：Elsevier（2003；Zbl 1051.03001）
弗兰克·沃尔特（编辑）;海因里希·万兴（编辑）;马尔滕·德·里杰克（编辑）;Zakharyaschev，M。（编辑） 模态逻辑的进展。第3卷。第三届AiML研讨会会议记录，德国莱比锡，2000年10月4日至7日。 （英语） Zbl 1004.00016号 新加坡：世界科学。viii，第415页（2002年）。MSC公司：00B25型 03-06 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{F.Wolter}（编辑）等人，《模态逻辑的进展》。第3卷。第三届AiML研讨会会议记录，德国莱比锡，2000年10月4-7日。新加坡：世界科学（2002；Zbl 1004.00016）
迈克尔·扎克哈里亚舍夫（编辑）;克里斯特·塞格伯格（编辑）;马尔滕·德·里杰克（编辑）;海因里希·万兴（编辑） 模态逻辑的进展。第2卷。1998年10月16日至18日，瑞典乌普萨拉，第二届国际研讨会（AiML'98）的论文选集。 （英语） Zbl 0979.00027号 CSLI课堂讲稿. 119. 加利福尼亚州斯坦福：CSLI出版物。xxviii，457页（2001年）。MSC公司：00B25型 03-06 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Zakharyaschev}（ed.）等人，《模态逻辑的进展》。第2卷。1998年10月16日至18日，瑞典乌普萨拉，第二届国际研讨会（AiML'98）论文选集。加利福尼亚州斯坦福：CSLI出版物（2001；Zbl 0979.00027）
亚历山大·查格罗夫;迈克尔·扎克哈里亚舍夫 模态逻辑。 （英语） Zbl 0871.03007号 牛津逻辑指南第三十五条。牛津：克拉伦登出版社。xv，605页（1997年）。 审核人：L.F.Goble（塞勒姆） MSC公司：03B45号 03-02 03-01 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{A.Chagrov}和\textit{M.Zakharyaschev}，模态逻辑。牛津：克拉伦登出版社（1997；Zbl 0871.03007）
纳贝宾，A.A。;Zakhar'yashchev，M.V.公司。 谓词逻辑中的解析方法，作为编程语言PROLOG的基础。关于“数学建模基础”课程的方法说明。（Metod rezolyutsij v logike predikatov kak osnova dlya yazyka programmirovaniya PROLOG.Metodicheskie ukazaniya-po kursu“Osnovy matematicheskogo modelirovaniya”） （俄语） Zbl 0746.68021号 莫斯科：《伊兹datel'stvo Moskovskogo Ehnergeticheskogo Instituta》，第76页（1990年）。 审核人：N.Zamov（喀山） MSC公司：68N17号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Nabebin}和\textit{M.V.Zakhar'yashchev}，Metod rezolyutsij V logike predikatov kak osnova dlya yazyka programmirovaniya PROLOG。Metodicheskie ukazaniya po kursu“Osnovy matematicheskogo modelirovaniya”（俄语）。莫斯科：Izdatel'stvo Moskovskogo Ehnergeticheskogo Instituta（1990；Zbl 0746.68021）
Zakhar'yashchev，M.V.公司。;波波夫，S.V。 基于句法树方法的演绎过程。 （俄语） Zbl 0416.68084号 准备。仪表价格。马特·阿卡德。Nauk SSSR，莫斯科111，51 p.（1978）。MSC公司：第68页第15页 03B10号机组 PDF格式BibTeX公司 XML格式