雷巴科夫。 多代理时态逻辑、统一问题和可接受性。 （英语。俄文原件） Zbl 07566687号 同胞。数学。J。 63，编号4，769-776（2022）; 兄弟姐妹的翻译。材料Zh。63，第4期，924-934（2022）。MSC公司：03Bxx号 68次发射 68新元 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov}，西布。数学。J.63，No.4，769--776（2022；Zbl 07566687）；兄弟姐妹的翻译。材料Zh。63，第4924-934号（2022） 全文： 内政部
巴拉特·阿德苏尔；萨普塔什·萨卡尔；A.V.Sreejith。 一阶逻辑及其对可数词的无限量词扩展。 （英语） Zbl 07530223号 Bampis，Evripidis（编辑）等人，《计算理论基础》。第23届国际研讨会，FCT 2021，希腊雅典，2021年9月12-15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12867, 39-52 (2021).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{B.Adsul}等人，Lect。注释计算。科学。12867，39-52（2021；Zbl 07530223） 全文： 内政部 arXiv公司
雷巴科夫。 具有多代理时间可访问性关系的时间逻辑分支。 （英语。俄文原件） Zbl 1474.68341号 同胞。数学。J。 62，第3期，503-510（2021）; 兄弟姐妹的翻译。材料Zh。62，第3期，623-632（2021年）。MSC公司：68T27型 03B44号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov}，西布。数学。J.62，No.3，503--510（2021；Zbl 1474.68341）；兄弟姐妹的翻译。材料Zh。62，第3号，623--632（2021） 全文： 内政部
阿恩·迈尔；塞巴斯蒂安·奥德尼亚克；拉马努扬，M.S。；艾伦娜·辛德勒 线性时序逻辑的后门。 （英语） Zbl 1411.68050号 算法 81，第2期，476-496（2019）.MSC公司：65年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Meier}等人，Algorithmica 81，No.2，476--496（2019；Zbl 1411.68050） 全文： 内政部
Yun，Veta F。 论知识与时间的线性逻辑。 （英语） Zbl 1429.03075号 Odintsov，Sergei（编辑），Larisa Maksimova关于蕴涵、插值和可定义性。查姆：斯普林格。Outst公司。控制日志。15, 339-349 (2018).MSC公司：03B44号 03B45 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{V.F.Yun}，Outst。控制日志。15339-349（2018年；兹比尔1429.03075） 全文： 内政部
弗拉基米尔·雷巴科夫 非敏感时间多智能体的逻辑、知识和不确定性、合理性。 （英语） Zbl 1474.68340号 Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2016年1月4日至7日在美国佛罗里达州迪尔菲尔德海滩举行的2016年LFCS国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9537, 364-375 (2016).MSC公司：68T27型 03B42号 03B44号 68立方英尺 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov}，莱克特。注释计算。科学。9537364--375（2016年；Zbl 1474.68340） 全文： 内政部 链接
精木赤山；Tetsuya村井；工藤雅硕 时态逻辑中对未来偶然事件的部分和次协调方法。 （英语） Zbl 1396.03023号 合成 193，第11号，3639-3649（2016）.MSC公司：03B44号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{S.Akama}等人，Synthese 193，No.11，3639-3649（2016；Zbl 1396.03023） 全文： 内政部
阿尔贝托·加托 具有不可区分关系的分支时间逻辑的公理化。 （英语） Zbl 1392.03027号 J.菲洛斯。日志。 45，第2期，155-182（2016）.MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Gatto}，J.Philos。日志。45，第2号，155--182（2016；Zbl 1392.03027） 全文： 内政部
萨恩多·瓦莱伊 关于一些一阶时空理论的公理化。 （英语） 兹比尔1357.03068 合成 192，第7号，2293-2309（2015）.MSC公司：03B80号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Vályi}，Synthese 192，No.7，2293--2309（2015；Zbl 1357.03068） 全文： 内政部
克里斯托弗·汉普森；阿吉·库鲁茨 不确定命题双模逻辑和带计数的一元一阶线性时序逻辑。 （英语） 兹比尔1354.03022 ACM事务处理。计算。日志。 16，第3号，第27条，36页（2015年）.MSC公司：03B44号 03B25号 03B45 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{C.Hampson}和\textit{A.Kurucz}，ACM翻译。计算。日志。16，第3号，第27条，36页（2015；Zbl 1354.03022） 全文： 内政部 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公司 链接
亚历山德罗·阿塔尔；罗马人孔查科夫；弗拉迪斯拉夫·里日科夫；扎卡里亚舍夫，迈克尔 为时序概念模型的推理量身定制时序描述逻辑。 （英语） Zbl 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） 全文： 内政部 链接
马克·雷诺兹 少于两个时钟的度量时间推理。 （英语） Zbl 1242.03047号 J.应用。非类别。日志。 20，第4期，437-455（2010）.MSC公司：03B44号 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{M.Reynolds}，J.Appl。非类别。日志。20，第4号，437--455（2010；Zbl 1242.03047） 全文： 内政部
曼弗雷德·库德莱克 关于Hamblin的15时态定理。 （英语） Zbl 1242.03045号 J.应用。非类别。日志。 20，编号1-2，63-80（2010）.MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Kudlek}，J.Appl（J·应用）。非类别。日志。20，编号1--2，63-80（2010；Zbl 1242.03045） 全文： 内政部
亚历山德罗·阿塔尔；罗马人孔查科夫；弗拉迪斯拉夫·里日科夫；扎卡里亚舍夫，迈克尔 DL-Lite具有时间化的概念、严格的公理和角色。 （英语） Zbl 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。注释计算。科学。5749133-148（2009年；兹bl 1193.68232） 全文： 内政部
沃尔克·迪克特；保罗·加斯丁；曼弗雷德·库夫莱特纳 对有限单词上一阶逻辑的小片段的调查。 （英语） Zbl 1157.03003号 发现的国际期刊。计算。科学。 19，第3期，513-548（2008）. 审核人：亚历克斯·纳贝宾（莫斯科） MSC公司：03B20型 03B25号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}等人，国际期刊发现。计算。科学。19，第3号，513--548（2008；Zbl 1157.03003） 全文： 内政部
亚历山德罗·阿塔尔；卡斯滕·卢茨 时间描述逻辑之间的对应关系。 （英语） Zbl 1180.68254号 J.应用。非类别。日志。 14，No.1-2，209-233（2004）.MSC公司：68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}和\textit{C.Lutz}，J.Appl。非类别。日志。14，编号1--2，209--233（2004；Zbl 1180.68254） 全文： 内政部
V.戈兰科。；A.蒙塔纳里。；Sciavicco，G。 时间间隔逻辑和持续时间计算的路线图。 （英语） Zbl 1181.03012号 J.应用。非类别。日志。 14，编号1-2，9-54（2004）.MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}等人，J.Appl。非类别。日志。14，编号1--2，9--54（2004；Zbl 1181.03012） 全文： 内政部 链接
瓦伦丁·戈兰科；Angelo蒙塔纳里 时间间隔逻辑和持续时间计算专题前言。 （英语） Zbl 1180.03019号 J.应用。非类别。日志。 14，第1-2、7-8号（2004）.MSC公司：03B44号 03-02 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}和\textit{A.Montanari}，J.Appl。非类别。日志。14，编号1--2，7--8（2004；Zbl 1180.03019） 全文： 内政部
马可·艾略；约翰·范·本特姆 在空间中的模式漫步。 （英语） Zbl 1185.03060号 J.应用。非类别。日志。 12，编号3-4，319-363（2002）.MSC公司：03B80号 03B45 03B47号 51N10号 第54页第99页 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{M.Aiello}和\textit{J.van Benthem}，J.Appl。非类别。日志。12，编号3--4，319--363（2002；Zbl 1185.03060） 全文： 内政部
比塔·科尼科夫斯卡 Rasiowa-Sikorski演绎系统在计算机科学中的应用。 （英语） Zbl 1058.03029号 西奥。计算。科学。 286，第2233-366号（2002年）.MSC公司：03B70号 03B22号 07年3月 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{B.Konikowska}，Theor。计算。科学。286，第2号，323--366（2002；Zbl 1058.03029） 全文： 内政部
汉斯·尤根·奥巴赫；Dov Gabbay公司 日历逻辑。 （英语） Zbl 0930.03017号 J.应用。非类别。日志。 8，第4期，291-323（1998）. 审核人：P.马特拉纳（普拉哈） MSC公司：03B44号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Ohlbach}和\textit{D.Gabbay}，J.Appl。非类别。日志。8，第4号，291--323（1998；Zbl 0930.03017） 全文： 内政部