阿吉·库鲁茨;弗拉迪斯拉夫·里日科夫;尤里·萨瓦泰耶夫;扎卡里亚舍夫，迈克尔 确定线性时态逻辑中正则语言和本体论中介查询的FO可写性。 （英语） 兹伯利07732093 J.阿蒂夫。智力。研究（JAIR） 76, 645-703 (2023).MSC公司：68泰克 PDF格式BibTeX公司 XML格式引用 \textit{A.Kurucz}等人，J.Artif。智力。研究（JAIR）76，645--703（2023；Zbl 07732093） 全文： 内政部 arXiv公司
亚历山德罗·阿塔尔;罗马人孔查科夫;Alisa Kovtunova;弗拉迪斯拉夫·里日科夫;弗兰克·沃尔特;扎卡里亚舍夫，迈克尔 二维时间本体论中介查询的一阶可重写性和复杂性。 （英语） Zbl 07639820号 J.阿蒂夫。智力。研究（JAIR） 75, 1223-1291 (2022).MSC公司：68泰克 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人，J.Artif。智力。研究（JAIR）75，1223--1291（2022；Zbl 07639820） 全文： 内政部 arXiv公司
奥尔加·杰拉西莫娃;斯坦尼斯拉夫·基科特;阿吉·库鲁茨;弗拉基米尔·波多尔斯基;扎卡里亚舍夫，迈克尔 本体论中介查询的四摄体与覆盖公理。 （英语） Zbl 07554486号 Artif公司。智力。 309，文章ID 103738，46 p.（2022）.MSC公司：68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{O.Gerasimova}等人，Artif。智力。309，文章ID 103738，46 p.（2022；Zbl 07554486） 全文： 内政部 arXiv公司
亚历山德罗·阿塔尔;罗马人孔查科夫;Alisa Kovtunova;弗拉迪斯拉夫·里日科夫;弗兰克·沃尔特;扎卡里亚舍夫，迈克尔 线性时态逻辑中本体中介查询的一阶可重写性。 （英语） Zbl 1520.68182号 Artif公司。智力。 299，文章ID 103536，30 p.（2021）.MSC公司：68T27型 03B44号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人，Artif。智力。299，文章ID 103536，30 p.（2021；Zbl 1520.68182） 全文： 内政部 arXiv公司
埃琳娜·博托埃娃;鲍里斯·科涅夫;卡斯滕·卢茨;弗拉迪斯拉夫·里日科夫;弗兰克·沃尔特;扎卡里亚舍夫，迈克尔 描述逻辑本体论的不可分割性和保守扩展：综述。 （英语） Zbl 1358.68282号 Pan，Jeff Z.（编辑）等人，《推理网络》。知识图构建和查询回答的逻辑基础。2016年第12届国际暑期学校，英国阿伯丁，2016年9月5日至9日。辅导讲座。查姆：施普林格（ISBN 978-3-319-49492-0/pbk；978-3-3169-49493-7/电子书）。计算机科学讲座笔记9885，27-89（2017）。MSC公司：68立方英尺 68T27型 68-02 PDF格式BibTeX公司 XML格式引用 \textit{E.Botoeva}等人，Lect。注释计算。科学。9885，27-89（2017；Zbl 1358.68282） 全文： 内政部 arXiv公司
亚历山德罗·阿塔尔;罗马人孔查科夫;弗拉迪斯拉夫·里日科夫;扎卡里亚舍夫，迈克尔 带有描述逻辑的时间概念数据建模食谱。 （英语） Zbl 1354.68245号 ACM事务处理。计算。日志。 第15号第3条第25条第50页（2014年）.MSC公司：68T27型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人，ACM翻译。计算。日志。15，第3号，第25条，50页（2014；Zbl 1354.68245） 全文： 内政部 arXiv公司 链接
弗兰克·沃尔特;扎卡里亚舍夫，迈克尔 关于Blok-Esakia定理。 （英语） Zbl 1350.03022号 Bezhanishvili，Guram（编辑），Leo Esakia关于模态逻辑和直觉主义逻辑的二重性。多德雷赫特：施普林格出版社（ISBN 978-94-017-8859-5/hbk；978-94-017-8860-1/电子书）。《逻辑4》的杰出贡献，99-118（2014）。MSC公司：03B45号 03B20型 06D20日 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{F.Wolter}和\textit{M.Zakharyaschev}，Outst。控制日志。4、99-118（2014年；Zbl 1350.03022） 全文： 内政部
亚历山德罗·阿塔尔;罗马人孔查科夫;弗拉迪斯拉夫·里日科夫;扎卡里亚舍夫，迈克尔 为时序概念模型的推理量身定制时序描述逻辑。 （英语） 兹比尔1348.68235 Tinelli，Cesare（编辑）等人，《组合系统的前沿》。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24363-9/pbk）。计算机科学课堂讲稿6989。人工智能课堂讲稿，1-11（2011）。MSC公司：68T27型 第68页，共15页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人，Lect。注释计算。科学。6989，1--11（2011；Zbl 1348.68235） 全文： 内政部 链接
亚历山德罗·阿塔尔;罗马人孔查科夫;弗拉迪斯拉夫·里日科夫;扎卡里亚舍夫，迈克尔 DL-Lite具有时间化的概念、严格的公理和角色。 （英语） 兹比尔1193.68232 Ghilardi，Silvio（编辑）等人，《组合系统的前沿》。第七届国际研讨会，FroCoS 2009，意大利特伦托，2009年9月16-18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04221-8/pbk）。计算机科学课堂讲稿5749。人工智能课堂讲稿，133-148（2009）。MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人，Lect。注释计算。科学。5749、133--148（2009年；Zbl 1193.68232） 全文： 内政部
科涅夫，B。;R.孔查科夫。;F.沃尔特。;Zakharyaschev，M。 关于动态拓扑和度量逻辑。 （英语） Zbl 1114.03026号 双头螺栓日志。 84，第1期，129-160（2006）.MSC公司：03B60号 03B45号 03B44号 03B25号 54H20个 PDF格式BibTeX公司 XML格式引用 \textit{B.Konev}等人，研究日志。84，第1号，129--160（2006；Zbl 1114.03026） 全文： 内政部
加伯里亚，D。;A.库鲁茨。;沃尔特，F。;Zakharyaschev，M。 具有扩张域的模态逻辑乘积的非有限递归可判定性。 （英语） 邮编1099.03008 Ann.纯粹应用。逻辑 142，编号1-3，245-268（2006）.MSC公司：03B25号 03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Gabelaia}等人，Ann.Pure Appl。逻辑142，No.1--3，245--268（2006；Zbl 1099.03008） 全文： 内政部
罗马人孔查科夫;阿吉·库鲁茨;扎卡里亚舍夫，迈克尔 双变量一阶直觉主义和模态逻辑的不确定性。 （英语） 兹比尔1096.03008 牛。符号。日志。 第3期第11期第428-438页（2005年）.MSC公司：03B25号 03B20型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.Kontchakov}等人，公牛。符号。日志。11，第3号，428--438（2005；Zbl 1096.03008） 全文： 内政部 链接
加伯里亚，D。;A.库鲁茨。;F.沃尔特。;Zakharyaschev，M。 “及物”模态逻辑的产物。 （英语） Zbl 1103.03020号 J.塞姆。日志。 70，第3期，993-1021（2005）. 审核人：布拉尼斯拉夫·博里奇奇（贝尔格莱德） MSC公司：03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{D.Gabelaia}等人，J.Symb。日志。70，第3号，993--1021（2005；Zbl 1103.03020） 全文： 内政部
奥利弗·库茨;卡斯滕·卢茨;弗兰克·沃尔特;扎卡里亚舍夫，迈克尔 \（{mathcal E}）-抽象描述系统的连接。 （英语） 兹比尔1085.68162 Artif公司。智力。 156，第1期，1-73页（2004年）.MSC公司：68T27型 68立方英尺 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{O.Kutz}等人，Artif。智力。156，第1号，1--73（2004；Zbl 1085.68162） 全文： 内政部
弗兰克·沃尔特;扎卡里亚舍夫，迈克尔 公理化一阶时序逻辑的一元片段。 （英语） Zbl 1031.03023号 Ann.纯粹应用。逻辑 118，编号1-2，133-145（2002）. 审核人：彼得·扬查尔（俄斯特拉发） MSC公司：03B44号 03B25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Wolter}和\textit{M.Zakharyaschev}，Ann.Pure Appl。逻辑118，No.1--2，133--145（2002；Zbl 1031.03023） 全文： 内政部
弗兰克·沃尔特;扎卡里亚舍夫，迈克尔 一阶模态逻辑的可判定片段。 （英语） Zbl 0996.03010号 J.塞姆。日志。 66，第3期，1415-1438（2001）. 审核人：钱雷（布卢明顿） MSC公司：03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{F.Wolter}和\textit{M.Zakharyaschev}，J.Symb。日志。66，第3号，1415--1438（2001；Zbl 0996.03010） 全文： 内政部 链接
伊恩·霍德金森;弗兰克·沃尔特;扎卡里亚舍夫，迈克尔 一阶时序逻辑的可判定片段。 （英语） Zbl 0999.03015号 Ann.纯粹应用。逻辑 106，编号1-3，85-134（2000）. 审核人：马丁·霍夫曼（慕尼黑） MSC公司：03B44号 03B25号 第68页，共15页 60年第68季度 68立方英尺 03天35分 PDF格式BibTeX公司 XML格式引用 \textit｛I.Hodkinson｝等人，Ann.纯应用。逻辑106，编号1--3，85-134（2000；Zbl 0999.03015） 全文： 内政部
扎卡里亚舍夫，迈克尔 \（\mathbf K\mathbf4\）的标准公式。三： 有限模型属性。 （英语） Zbl 0893.03006号 J.塞姆。日志。 62，第3期，950-975（1997）. 审核人：迈克尔·扎克哈里亚舍夫（莫斯科） MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Zakharyaschev}，J.Symb。日志。62，编号31950-975（1997年；Zbl 0893.03006） 全文： 内政部
亚历山大·查格罗夫;扎卡里亚舍夫，迈克尔 命题逻辑和其他相关问题的析取性质的不可判定性。 （英语） Zbl 0799.03009号 J.塞姆。日志。 58，第3期，967-1002（1993）. 审核人：V.Shekhtman（莫斯科） MSC公司：03B45号 03B55号 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{A.Chagrov}和\textit{M.Zakharyaschev}，J.Symb。日志。58，第3号，967--1002（1993；Zbl 0799.03009） 全文： 内政部
亚历山大·查格罗夫;迈克尔·扎卡里亚什切夫 中间命题逻辑的析取性质。 （英语） Zbl 0739.03016号 双头螺栓日志。 50，第2期，189-216（1991）.MSC公司：03B55号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Chagrov}和\textit{M.Zakharyashchev}，Stud.Log。50，第2号，189--216（1991；Zbl 0739.03016） 全文： 内政部