雷巴科夫。 具有动态可访问关系、投影统一器的多智能体逻辑。 （英语。俄文原件） Zbl 1515.03146号 代数逻辑 61，编号1，79-83（2022）; 《代数逻辑学》第61卷第1期第111-118页（2022年）的译文。MSC公司：03B70号 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov}，代数逻辑61，No.1，79--83（2022；Zbl 1515.03146）；代数逻辑学61，No.1，111--118（2022）的翻译 全文： 内政部
朱利安·古铁雷斯；托马斯·斯蒂普尔斯；迈克尔·伍尔德里奇 具有\（\omega \）-常规规范的Mean-payoff游戏。 （英语） Zbl 1484.91080号 游戏 13，第1号，第19号论文，37页（2022年）.MSC公司：91A43型 91A10号 91A06型 91A05型 91A12号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人，Games 13，No.1，Paper No.19，37 p.（2022年；Zbl 1484.91080） 全文： 内政部
格纳滕科，A.R。；扎哈罗夫，V.A。 关于线性时间-时间逻辑的一个参数化扩展的可满足性和模型检验。 （俄语。英文摘要） Zbl 1517.68237号 模型。分析。Inf.姐妹。 28，第4号，356-371（2021）.MSC公司：60年第68季度 03B44号 2017年第68季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Gnatenko}和\textit{V.A.Zakharov}，模型。分析。Inf.姐妹。28，编号4，356-371（2021；兹bl 1517.68237） 全文： 内政部 MNR公司
E.V.库兹明。 计数器的LTL规范。 （俄语。英文摘要） Zbl 1507.68191号 模型。分析。Inf.姐妹。 28，第1号，104-119（2021）.MSC公司：60年第68季度 03B44号 03B70号 04年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.V.Kuzmin}，模型。分析。Inf.姐妹。28、第1号、第104-119号（2021年；Zbl 1507.68191） 全文： 内政部 MNR公司
罗马斯·阿隆德里斯；哈洛达斯·吉德拉 时序逻辑的一种推导方法。 （英语） Zbl 1508.03052号 谎言。垫环。，程序。岩性。数学。Soc.，爵士。A类 60, 1-6 (2019).MSC公司：03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{R.Alonderis}和\textit{H.Giedra}，Liet。垫环。，程序。岩性。数学。Soc.，爵士。A 60，1--6（2019年；Zbl 1508.03052） 全文： 内政部
罗马斯·阿隆德里斯；普利乌什凯维奇乌斯，里贾曼塔斯；艾达，普留什凯维奇 PLTL的有限序列计算。 （英语） Zbl 1508.03050号 谎言。垫环。，程序。岩性。数学。Soc.，爵士。A类 56, 1-6 (2015).MSC公司：03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alonderis}等人，Liet。垫环。，程序。岩性。数学。Soc.，爵士。A 56，1--6（2015；Zbl 1508.03050） 全文： 内政部
约翰·范·本特姆；埃里克·帕奎特 特刊前言：代理的时间逻辑。 （英语） Zbl 1264.03053号 J.逻辑语言信息。 第4期第19页，389-393页（2010年）.MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem}和\textit{E.Pacuit}，J.Logic Lang.Inf.19，No.4，389--393（2010；Zbl 1264.03053） 全文： 内政部
里巴科夫，V。 离散线性时序逻辑与当前时间点簇，决定算法。 （英语） Zbl 1298.03063号 日志。日志。菲洛斯。 17，编号1-2，143-161（2008）.MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov}，日志。日志。菲洛斯。17、编号1--2、143-161（2008；Zbl 1298.03063） 全文： 内政部
卡罗·福里亚（Carlo A.Furia）。；罗西，马蒂奥 无需严格：关于具有（非）严格运算符的度量时态逻辑的表达性。 （英语） Zbl 1169.03330号 牛市。欧洲协会。计算。科学。EATCS公司 92, 150-160 (2007).MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Furia}和\textit{M.Rossi}，公牛。欧洲协会。计算。科学。EATCS 92、150--160（2007；Zbl 1169.03330）
克里斯蒂娜，Tudose PLTL模型检查。 （英语） Zbl 1240.68133号 灯泡。⑩提因。，塞尔维亚皮特什蒂大学。材料信息。 12, 173-184 (2006).MSC公司：60年第68季度 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{C.Tudose}，布尔。Ș提因ț。，佩蒂大学（Univ.Pitești，Ser.）。材料信息12，173--184（2006；Zbl 1240.68133）
埃尔克·普尔维尔 基于扩展时间验证方法的基于组件的系统验证。（Komponenten-basieten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens验证） （德语） Zbl 1104.68529号 耶拿：耶拿大学，Fakultät für Mathematik und Informatik（论文）。245页。(2006).MSC公司：60年第68季度 03B44号 68-02 PDF格式BibTeX公司 XML格式引用 \textit{E.Pulvermüller}，验证von Komponenten-basieten Systemen auf Basis eines erweitenten temporalen Verifikationsverfahrens。耶拿：耶拿大学，Fakultät für Mathematik und Informatik（论文）（2006；Zbl 1104.68529）
多米尼克·格雷戈里 保持语义的纯粹性。 （英语） Zbl 1366.03163号 诺尔斯 39，第3期，505-528（2005）.MSC公司：03B10号机组 03B20型 03B45 03B44号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit｛D.Gregory｝，Nôus 39，编号3，505–528（2005年；兹bl 1366.03163） 全文： 内政部
安德烈·普里科普 时序模糊逻辑在决策算法中的应用。 （英语） Zbl 1240.68356号 灯泡。政治学会。Iași，SecțIa Autom（自动）。计算。 51（55），编号1-4，37-44（2005）.MSC公司：68T27型 90B50型 PDF格式BibTeX公司 XML格式引用 \文本{A.Pricop}，布尔。政治学会。Iași，SecțIa Autom（自动）。计算51（55），编号1--4，37-44（2005；Zbl 1240.68356）
苏菲·平奇纳特；里德威格，圣菲 在部分观测下可判定的一类控制问题。 （英语） Zbl 1177.93059号 信息处理。莱特。 95，第4期，454-460（2005）.MSC公司：93元65角 60年第68季度 93甲13 PDF格式BibTeX公司 XML格式引用 \textit{S.Pinchinat}和\textit{S.Riedweg}，Inf.过程。莱特。95，第4号，454--460（2005；Zbl 1177.93059） 全文： 内政部
伊萨扎德，阿亚兹；贾伯·卡林普尔 ETL：表示状态图的扩展时序逻辑。 （英语） Zbl 1205.68221号 WSEAS变速器。数学。 3，第3期，686-691（2004）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Isazadeh}和\textit{J.Karinpur}，WSEAS Trans。数学。3，第3号，686--691（2004；Zbl 1205.68221）
哈斯，佩尔；彼得·赫斯特罗姆 时间和逻辑的流动——以及计算机科学。 （英语） 兹比尔1169.03331 牛市。欧洲协会。计算。科学。EATCS公司 82, 191-226 (2004).MSC公司：03B44号 03-03 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Hasle}和\textit{P.Øhrstrom}，公牛。欧洲协会。计算。科学。EATCS 82、191--226（2004；Zbl 1169.03331）
尼古拉斯·马基 过去的时间逻辑以指数形式更加简洁。 （英语） Zbl 1169.03332号 牛市。欧洲协会。计算。科学。EATCS公司 79, 122-128 (2003).MSC公司：03B44号 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Markey}，公牛。欧洲协会。计算。科学。EATCS 79、122--128（2003年；Zbl 1169.03332）
穆尼奥斯·Q、何塞·M。；马尔克斯·C·拉米罗·J·。 用时序逻辑研究命题演算。 （西班牙语） Zbl 1203.03026号 博尔。材料（N.S.） 9，第2期，53-66（2002）.MSC公司：03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Muñoz Q.}和\textit{R.J.Márquez C.}，波尔。材料（N.S.）9，编号2，53--66（2002；Zbl 1203.03026）
乌尔里希·迈耶 普赖尔和柏拉图主义者。 （英语） Zbl 1023.03508号 分析，牛津。 62，第3期，211-216（2002）.MSC公司：03A05号 03B44号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{U.Meyer}，分析，牛津大学。62，第3号，211--216（2002；Zbl 1023.03508） 全文： 内政部
石庆生；张东墨；朱武佳 媒体时序逻辑的完整性。 （中文。英文摘要） Zbl 1008.03517号 数学杂志。Res.Expo公司。 22，第3期，497-502（2002）.MSC公司：03B52号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Q.Shi}等人，J.Math。Res.Expo公司。22，第3号，497--502（2002；Zbl 1008.03517）
罗马斯·阿隆德里斯 时间逻辑的经典和直觉顺序计算之间的关系。 （英语） Zbl 1043.03506号 谎言。马特·林克。 41，规范发行。，403-407 (2001).MSC公司：03B44号 03B20型 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alonderis}，谎言。马特·林克。41、403-407（2001年；Zbl 1043.03506）
安德烈·普里科普 模糊逻辑的模态方法。 （英语） Zbl 1240.93221号 灯泡。政治学会。Iași，SecțIa Autom（自动）。计算。 46（50），编号1-4，13-24（2000）.MSC公司：93立方厘米 PDF格式BibTeX公司 XML格式引用 \文本{A.Pricop}，布尔。政治学会。Iași，SecțIa Autom（自动）。计算46（50），编号1--4，13-24（2000；Zbl 1240.93221）
尤瓦尔，沙哈尔 用于时间抽象的动态时间解释上下文。 （英语） Zbl 0976.03507号 安。数学。Artif公司。智力。 22，第1-2号，159-192（1998）.MSC公司：03B44号 68T01型 PDF格式BibTeX公司 XML格式引用 \发短信{Y.Shahar}，Ann.Math。Artif公司。智力。22，编号1--2，159-192（1998；Zbl 0976.03507） 全文： 内政部
丹尼尔·凯泽；阿伊查·莫赫塔里 因果理论中的时间。 （英语） Zbl 0976.03508号 安。数学。Artif公司。智力。 22，编号1-2，117-138（1998）.MSC公司：03B44号 68T01型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kayser}和\textit{A.Mokhtari}，安.数学。Artif公司。智力。22，编号1--2，117-138（1998；Zbl 0976.03508） 全文： 内政部
朱莉娅·贝兹加切娃（Julia V.Bezgacheva）。 时序逻辑LinTGrz的可接受规则。 （英语） Zbl 0976.03509号 牛市。第节。日志。，大学后勤部。 26，第2期，60-66页（1997年）.MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Bezgacheva}，公牛。第节。日志。，大学后勤部。26，第2号，60-66（1997年；兹bl 0976.03509）
珍妮·卡米尔·比吉特 （上划线{varSigma^*上划线{L}}的状态复杂性及其与时序逻辑的关系。 （英语） Zbl 1410.68197号 信息处理。莱特。 58，第4期，185-188（1996）.MSC公司：65年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.-C.Birget}，信息处理。莱特。58，第4185-188号（1996年；兹bl 1410.68197） 全文： 内政部
克劳斯·沃蒂奇 未来和过去真的是创造不透明的运营商吗？ （英语） Zbl 0969.03501号 日志。日志。菲洛斯。 3, 185-193 (1995).MSC公司：03A05号 03B65号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{K.Wuttich}，日志。日志。菲洛斯。3185--193（1995年；Zbl 0969.03501） 全文： 内政部
马丁·阿巴迪 勘误表：“时间证明的力量”。 （英语） Zbl 0701.03009号 西奥。计算。科学。 70，No.2，275（1990）.MSC公司：03B45 03财年03 PDF格式BibTeX公司 XML格式引用 \文本{M.Abadi}，Theor。计算。科学。70，No.2，275（1990；Zbl 0701.03009） 全文： 内政部
Malyarov，A.N。；A.N.Isachenko。 分布式信息资源阻塞的逻辑规范。 （俄语） Zbl 0790.68031号 维斯特。白俄罗斯。戈斯。进出口大学。V.I.Lenina，爵士。我 1990年，第3期，38-41（1990）.MSC公司：第68页，共15页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Malyarov}和\textit{A.N.Isachenko}，Vestn。白俄罗斯。戈斯。进出口大学。V.I.Lenina，爵士。I 1990，编号3，38-41（1990；Zbl 0790.68031）
约夫·肖姆；德鲁·麦克德莫特 形式时间推理中的问题。 （英语） Zbl 0647.68089号 Artif公司。智力。 36，第1号，49-61（1988）.MSC公司：68T99型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Shoham}和\textit{D.McDermott}，Artif。智力。36，第1号，49-61（1988年；兹bl 0647.68089） 全文： 内政部
马克斯·克雷斯韦尔。 汉布林准时到达。 （英语） Zbl 1366.03043号 诺尔斯 193-204年第2期第9期（1975年）.MSC公司：03A05号 03B45 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Cresswell}，Nóus 9，No.2，193--204（1975；Zbl 1366.03043） 全文： 内政部