诺里希罗·卡米德 支持拒绝的Gentzen-style计算，用于命题非自由线性时间时序逻辑。 （英语） Zbl 07767288号 螺柱日志。 111，第6期，979-1014（2023）.MSC公司：03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}，螺柱日志。111，编号6，979--1014（2023；Zbl 07767288） 全文： 内政部
博尔祖·博纳克达尔普尔；皮埃尔·弗拉吉奥德；塞尔吉奥·拉杰斯鲍姆；戴维·罗森布鲁斯；科伦汀·特拉弗斯 分散式异步崩溃恢复运行时验证。 （英语） Zbl 07679902号 美国临床医学杂志 69，第5期，第34号论文，第31页（2022年）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Bonakdarpour}等人，J.ACM 69，第5号，论文34，31页（2022；Zbl 07679902） 全文： 内政部
贝拉德，贝特里奇；贝内迪克特·博利格；帕特里夏·鲍耶；马蒂亚斯·福格尔；纳塔利·斯兹纳杰德 存在动态链接的合成。 （英语） Zbl 07629163号 Inf.计算。 289，B部分，文章ID 104856，28 p.（2022）.MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人，《信息计算》。289，B部分，文章ID 104856，28 p.（2022；Zbl 07629163） 全文： 内政部
亚历山德罗·西马蒂；阿尔贝托·格里乔；恩里科·马格纳戈 长期贷款无限状态系统中的证伪。 （英语） Zbl 07629158号 Inf.计算。 289，A部分，文章ID 104977，43 p.（2022）.MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，《信息计算》。289，A部分，文章ID 104977，43 p.（2022；Zbl 07629158） 全文： 内政部
米哈伊尔·里巴科夫；德米特里·什卡托夫 具有两个变量和一个单体谓词字母的QLTL和QCTL的不可判定性。 （英语） Zbl 07642566号 日志。伊斯斯莱德。 27，第2期，93-120（2021）.MSC公司：03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{M.Rybakov}和\textit{D.Shkatov}，Log。伊斯斯莱德。27，编号2，93-120（2021；Zbl 07642566） 全文： 内政部
阿尔贝托·格里乔；马可·罗维里；斯特凡诺·托内塔 基于SAT的模型检查的证明。 （英语） Zbl 1522.68319号 形式方法系统。设计。 57，编号2，178-210（2021）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Griggio}等人，《形式方法系统》。设计。57，编号2，178--210（2021；Zbl 1522.68319） 全文： 内政部 链接
亚历山德罗·西马蒂；阿尔贝托·格里乔；恩里科·马格纳戈；马可·罗维里；斯特凡诺·托内塔 基于SMT的具有事件冻结函数和度量算子的一阶LTL的可满足性。 （英语） Zbl 1443.68104号 Inf.计算。 272，文章ID 104502，17 p.（2020）.MSC公司：60年第68季度 03B44号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，《信息计算》。272，文章ID 104502，第17页（2020；Zbl 1443.68104） 全文： 内政部
乌里·法伦贝格；Legay、Axel 行为规范理论的线性时间分支时间谱。 （英语） Zbl 1433.68214号 J.日志。阿尔盖布。方法计划。 110，文章ID 100499，16 p.（2020）.MSC公司：60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}和\textit{A.Legay}，J.Log。阿尔盖布。方法程序。110，文章ID 100499，16 p.（2020；Zbl 1433.68214） 全文： 内政部 arXiv公司
诺里希罗·卡米德 可判定的时间和顺序相关逻辑。 （英语） 兹比尔1444.03081 J.日志。计算。 第2号第28页，第403-432页（2018年）.MSC公司：03B47号 03B44号 03财年03 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}，J.Log。计算。28，第2号，403--432（2018；Zbl 1444.03081） 全文： 内政部
诺里希罗·卡米德 次一致序列线性时间逻辑：在时间推理中结合了次一致性和顺序性。 （英语） Zbl 1420.03033号 代表数学。逻辑 52, 3-44 (2017).MSC公司：03B44号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}，众议员数学。逻辑52，3--44（2017；Zbl 1420.03033） 全文： 内政部
安德烈·因德泽扎克（Andrzej Indrzejczak） 非交换超连续演算的割消定理。 （英语） Zbl 1423.03239号 牛市。第节。日志。，大学后勤部。 46，编号1-2，135-149（2017）.MSC公司：05年3月 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Indrzejczak}，公牛。第节。日志。，大学后勤部。46，编号1--2，135-149（2017；Zbl 1423.03239） 全文： 内政部
亚瑟·Mę滑雪；马西耶·库特尼；沃伊切赫·彭泽克 离散浓度反应系统线性时间特性的验证。 （英语） Zbl 1378.68113号 芬丹。通知。 154，编号1-4，289-306（2017）.MSC公司：60年第68季度 03B44号 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛A.MÉski｝等人，Fundam。通知。154，编号1-4289-306（2017；兹bl 1378.68113） 全文： 内政部
苏菲·海瑟特；保罗·M·J·范登·霍夫（Paul M.J.van den Hof）。；亚历山德罗·阿巴特 通过贝叶斯识别和可达性分析进行数据驱动和基于模型的验证。 （英语） Zbl 1371.93187号 Automatica公司 79, 115-126 (2017).MSC公司：93E03型 2015年1月62日 93个B03 93二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{S.Haesaert}等人，Automatica 79，115-126（2017；Zbl 1371.93187） 全文： 内政部 链接
毛，华；陈英科；曼弗雷德·杰格；托马斯·尼尔森。；Larsen，Kim G。；布莱恩·尼尔森 从模型检查的角度学习确定性概率自动机。 （英语） Zbl 1454.68061号 机器。学习。 105，第2期，255-299（2016）.MSC公司：68问题32 03B44号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Mao}等人，马赫。学习。105，第2号，255--299（2016；Zbl 1454.68061） 全文： 内政部
段振华；田聪；张楠 命题投影时序逻辑的基于规范形式的决策过程和模型检查方法。 （英语） 兹比尔1370.68200 西奥。计算。科学。 609，第3部分，544-560（2016）. 审核人：马丁·兰格（卡塞尔） MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit｛Z.Duan｝等人，Theor。计算。科学。609，第3部分，544--560（2016；Zbl 1370.68200） 全文： 内政部
诺里希罗·卡米德 LTL某些变体的插值定理。 （英语） Zbl 1436.03123号 代表数学。逻辑 50, 3-30 (2015).MSC公司：03B44号 03B53号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}，众议员数学。逻辑50，3-30（2015；Zbl 1436.03123） 全文： 内政部
劳拉·佐丹奴；阿尔贝托·马泰利；丹尼尔·塞塞德尔·杜普雷 通过ASP中的有界模型检查实现动作理论验证的完整性。 （英语） Zbl 1328.68127号 J.日志。计算。 25，第6期，1307-1330（2015）.MSC公司：60年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人，J.Log。计算。25，第6号，1307--1330（2015；Zbl 1328.68127） 全文： 内政部 链接
约阿希姆·克莱因；克里斯特尔·拜尔；Klüppelholz，萨沙 大多数通用控制器的组成结构。 （英语） Zbl 1329.68186号 学报信息。 52，编号4-5，443-482（2015）. 审核人：Jörg Desel（哈根） MSC公司：68问题85 03B44号 60年第68季度 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{J.Klein}等人，《学报》第52期，第4--5、443--482号（2015年；Zbl 1329.68186） 全文： 内政部
斯特凡·德姆里；阿米特·库马尔·达尔；阿诺德·桑尼尔 驯服过去的LTL和扁平计数器系统。 （英语） Zbl 1378.68112号 Inf.计算。 242, 306-339 (2015).MSC公司：60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人，《信息计算》。242306--339（2015年；Zbl 1378.68112） 全文： 内政部
Jose Gaintzarain；帕基·卢西奥 更具表现力的声明式时序逻辑编程语言的逻辑基础。 （英语） Zbl 1353.68035号 ACM事务处理。计算。日志。 第14号第4条第28条第41页（2013年）.MSC公司：68N17号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Gaintzarain}和\textit{P.Lucio}，美国医学会Trans。计算。日志。14，第4号，第28条，第41页（2013；Zbl 1353.68035） 全文： 内政部
马克·亚历山大·雷诺兹 一般线性时序逻辑的表格。 （英语） Zbl 1275.03089号 J.日志。计算。 23，第5期，1057-1080（2013）.MSC公司：03B44号 03B25号 03B35型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本｛M.A.Reynolds｝，J.Log。计算。23，第5号，1057--1080（2013；Zbl 1275.03089） 全文： 内政部
Jose Gaintzarain；蒙特塞拉特赫莫；帕基·卢西奥；玛丽莎·纳瓦罗；费尔南多·奥雷贾斯 无不变子句时间解析。 （英语） Zbl 1408.03006号 J.汽车。推理 50，第1期，1-49页（2013年）.MSC公司：03B35型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Gaintzarain}等人，J.Autom。推理50，No.1，1-49（2013；Zbl 1408.03006） 全文： 内政部
拉尔斯·库茨；伯恩德·芬克贝纳 具有过去和边界的线性时间时序逻辑的高效并行路径检查。 （英语） Zbl 1253.68221号 日志。方法计算。科学。 8，第4号，第10号论文，24页（2012年）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit｛L.Kuhtz｝和\textit｛B.Finkbeiner｝，日志。方法计算。科学。8，第4号，第10号文件，第24页（2012年；Zbl 1253.68221） 全文： 内政部 arXiv公司
诺里希罗·卡米德 动态拓扑和线性时间逻辑中的删减和完备性。 （英语） Zbl 1260.03032号 日志。分析。，努夫。Sér。 54、第215、379-394号（2011）.MSC公司：03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}，日志。分析。，努夫。Sér。54、第215、379--394号（2011；Zbl 1260.03032）
小岛贤介；Atsushi Igarashi 构造线性时间逻辑：证明系统和克里普克语义学。 （英语） Zbl 1248.03031号 Inf.计算。 209，第12期，1491-1503（2011）.MSC公司：03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{K.Kojima}和\textit{A.Igarashi}，Inf.计算。209，第12号，1491--1503（2011；Zbl 1248.03031） 全文： 内政部
海因里希·瓦辛；诺里希罗·卡米德 同步线性时间时序逻辑。 （英语） Zbl 1271.03026号 螺柱日志。 99，编号1-3，365-388（2011）.MSC公司：03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{H.Wansing}和\textit{N.Kamide}，Stud.Log。99，编号1--3，365-388（2011；Zbl 1271.03026） 全文： 内政部
诺里希罗·卡米德；海因里希·万兴 一种准一致的线性时间时序逻辑。 （英语） Zbl 1228.03012号 芬丹。通知。 106，第1期，1-23页（2011年）. 审核人：Osamu Sonobe（福洛尼卡） MSC公司：03B53号 03B44号 03B62型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}和\textit{H.Wansing}，Fundam。通知。106，编号1，1--23（2011年；兹bl 1228.03012） 全文： 内政部
诺里希罗·卡米德 线性时间形式主义的阶段语义。 （英语） Zbl 1216.03034号 日志。J.IGPL公司 19，第1期，121-143（2011）.MSC公司：03B44号 03B47号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}，日志。J.IGPL 19，第1期，121--143（2011；Zbl 1216.03034） 全文： 内政部
斯特凡·德姆里；亚历山大·拉比诺维奇 序数类上线性时间逻辑的复杂性。 （英语） Zbl 1213.03027号 日志。方法计算。科学。 6，第4号，第9号论文，25页（2010年）.MSC公司：03B44号 03B25号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{A.Rabinovich}，Log。方法计算。科学。6，第4号，第9号论文，25页（2010年；Zbl 1213.03027） 全文： 内政部 arXiv公司
克里斯蒂安·达克斯；费利克斯·克莱特克；马丁·兰格 关于常规时间逻辑与过去。 （英语） Zbl 1214.68211号 学报信息。 47，第4期，251-277（2010）.MSC公司：60年第68季度 03B44号 05年3月 2015年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Dax}等人，《学报》第47期，第4期，第251--277页（2010年；Zbl 1214.68211） 全文： 内政部 链接
诺里希罗·卡米德；海因里希·瓦辛 将线性时间逻辑与构造性和超一致性相结合。 （英语） Zbl 1207.03022号 J.应用。日志。 8，第1号，33-61（2010）. 审核人：Osamu Sonobe（福洛尼卡） MSC公司：03B44号 03B70号 03B53号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}和\textit{H.Wansing}，J.Appl。日志。8，编号1，33--61（2010；Zbl 1207.03022） 全文： 内政部
帕特里夏·鲍耶；Fabrice骑士；尼古拉斯·马基 关于TPTL和MTL的表达能力。 （英语） Zbl 1209.03010号 Inf.计算。 208，第2期，97-116（2010）. 审核人：安德烈亚斯·赫尔齐格（图卢兹） MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，《信息计算》。208，第2号，97--116（2010；Zbl 1209.03010） 全文： 内政部
斯特凡·德姆里；雷吉斯·加斯科 限定句法资源对Presburger LTL的影响。 （英语） Zbl 1193.03033号 J.日志。计算。 第619541-1575号（2009年）.MSC公司：03B44号 03B25号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{R.Gascon}，J.Log。计算。19，第6号，1541--1575（2009；Zbl 1193.03033） 全文： 内政部 哈尔
斯特凡·德姆里；兰科·拉齐奇；大卫·诺瓦克 关于约束LTL中的冻结量词：可决定性和复杂性。 （英语） Zbl 1116.03014号 Inf.计算。 205，第1期，2-24（2007）.MSC公司：03B44号 03B25号 2017年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人，《信息计算》。205，编号1，2--24（2007；Zbl 1116.03014） 全文： 内政部 哈尔
蒋胜兵；丹尼尔·库马尔 具有时间逻辑规范的离散事件系统的监督控制。 （英语） Zbl 1132.93032号 SIAM J.控制优化。 44，第6号，2079-2103（2006）.MSC公司：93元65角 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{S.Jiang}和\textit{D.Kumar}，SIAM J.控制优化。44，第6号，2079--2103（2006；Zbl 1132.93032） 全文： 内政部
埃里卡·卡拉多 线性逻辑知识和时间LTK中可接受的推理规则。 （英语） Zbl 1102.03009号 日志。J.IGPL公司 14，第1期，15-34（2006）.MSC公司：03B42号 03B44号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{E.Calardo}，日志。J.IGPL 14，第1期，第15--34页（2006；Zbl 1102.03009） 全文： 内政部
Kimmo Varpaaniemi公司 关于线性时间时间特性验证中的顽固集。 （英语） Zbl 1075.68060号 形式方法系统。设计。 26，第1期，45-67（2005）.MSC公司：68问题85 60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{K.Varpaaniemi}，形式方法系统。设计。26，第1号，45-67（2005；Zbl 1075.68060） 全文： 内政部
伊戈尔·瓦卢基维奇 配置困难–LTrL的复杂性。 （英语） Zbl 1075.68052号 形式方法系统。设计。 26，第1期，第27-43页（2005年）.MSC公司：60年第68季度 03B44号 2015年3月1日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Walukiewicz}，《形式与方法系统》。设计。26，第1号，27-43（2005；Zbl 1075.68052） 全文： 内政部
马丁·兰格 LTL与过去的快速公理化。 （英语） Zbl 1058.03023号 数学。日志。问：。 51，第1期，第83-88页（2005年）.MSC公司：03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lange}，数学。日志。问51，第1号，83--88（2005；Zbl 1058.03023） 全文： 内政部
斯特凡诺·巴拉泰拉；安德烈亚·马西尼 无限时间证明理论的探讨。 （英语） Zbl 1059.03007号 架构（architecture）。数学。逻辑 43，第8期，965-990（2004）.MSC公司：03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{S.Baratella}和\textit{A.Masini}，拱门。数学。逻辑43，No.8，965--990（2004；Zbl 1059.03007） 全文： 内政部
尼古拉斯·马基 过去是免费的：关于用过去验证线性时间属性的复杂性。 （英语） Zbl 1084.68073号 学报信息。 40，编号6-7，431-458（2004）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{N.Markey}，Acta Inf.40，No.6--7，431--458（2004；Zbl 1084.68073） 全文： 内政部 哈尔
Meenakshi，B。；拉马努贾姆，R。 关于分层消息传递系统的推理。 （英语） Zbl 1072.68067号 计算。语言系统。结构。 30，第3-4号，171-206（2004）.MSC公司：60年第68季度 68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Meenakshi}和\textit{R.Ramanujam}，计算。语言系统。结构。30，编号3--4，171-206（2004；Zbl 1072.68067） 全文： 内政部
伯恩哈德·海尼曼 离散下降集合链的模态逻辑。 （英语） Zbl 1054.03016号 螺柱日志。 76，第1号，67-90（2004）. 审核人：安娜·戈莫利安斯卡（比亚莱斯托克） MSC公司：03B45 03B44号 03B42号 03B25号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{B.海涅曼}，Stud.Log。76，第1号，67--90（2004；Zbl 1054.03016） 全文： 内政部
斯蒂芬·默兹 在\（\text{TLA}^+\）的逻辑上。 （英语） Zbl 1104.68364号 计算。通知。 22，编号3-4，351-379（2003）. 审核人：加布里埃尔·奥克萨（布拉迪斯拉发） MSC公司：68甲15 PDF格式BibTeX公司 XML格式引用 \textit｛S.Merz｝，计算机。通知。22，编号：3-4351-379（2003年；Zbl 1104.68364）
安德烈·因德泽扎克（Andrzej Indrzejczak） 线性时序逻辑的标记自然演绎系统。 （英语） Zbl 1038.03016号 螺柱日志。 75，第3期，345-376（2003）. 审核人：伯恩哈德·海尼曼（黑根） MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Indrzejczak}，研究日志。75，编号3，345-376（2003年；兹bl 1038.03016） 全文： 内政部
弗兰克·斯托普 Boyer-Moore模式匹配算法中子串预处理的正确性。 （英语） 兹比尔1018.68050 西奥。计算。科学。 290，第1期，59-78（2003）.MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \文本{F.Stomp}，Theor。计算。科学。290，第1号，59--78（2003；Zbl 1018.68050） 全文： 内政部
Pliuškevičius，R。 限制FTL无循环规则的可逆无穷微积分。 （英语） Zbl 1084.03012号 数学杂志。科学。，纽约 126，第3期，1210-1228（2005）; Zap原创。诺奇。塞明。POMI 293149-180（2002）。MSC公司：03B44号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{R.Pliuškevičius}，J.数学。科学。，纽约126，No.3，1210--1228（2002；Zbl 1084.03012） 全文： 内政部
乔里·恩格弗里特；特雷尔，简 时序逻辑的线性、分支时间和联合闭包语义。 （英语） Zbl 1018.03017号 J.逻辑语言信息。 11，第4期，389-425（2002）. 审核人：贾科莫·博纳诺（戴维斯） MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{J.Treur}，J.Logic Lang.Inf.11，No.4，389--425（2002；Zbl 1018.03017） 全文： 内政部
劳拉·佐丹奴；阿尔贝托·马泰利；卡米拉·施温德 动态线性时间时序逻辑中的动作推理。 （英语） Zbl 0979.03015号 日志。J.IGPL公司 9，第2期，273-287（2001）. 审核人：贾科莫·博纳诺（戴维斯） MSC公司：03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人，日志。J.IGPL 9，第2号，273--287（2001；Zbl 0979.03015） 全文： 内政部 链接
杰斯珀·亨利克森。；蒂亚加拉扬，P.S。 动态线性时间时序逻辑。 （英语） Zbl 0931.03033号 Ann.纯粹应用。逻辑 96，编号1-3，187-207（1999）.MSC公司：03B44号 03B70号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Henriksen}和\textit{P.S.Thiagarajan}，Ann.Pure Appl。逻辑96，编号1--3，187-207（1999；Zbl 0931.03033） 全文： 内政部
丹尼斯·R·达姆斯。 CTL和\（\text｛CTL｝^*\）的扁平片段：分离表达能力和区分能力。 （英语） 兹伯利0920.03031 日志。J.IGPL公司 7，第1期，55-78（1999）.MSC公司：03B45 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Dams}，日志。J.IGPL 7，第1期，55--78（1999；Zbl 0920.03031） 全文： 内政部
马克·雷诺兹 公理化一阶时间逻辑：线性时间上的直到和自。 （英语） 兹比尔0864.03015 螺柱日志。 57，第2-3号，279-302（1996）. 审核人：A.Tzouvaras（塞萨洛尼基） MSC公司：03B45 PDF格式BibTeX公司 XML格式引用 \textit{M.Reynolds}，Stud.Log。57，编号2--3，279--302（1996；Zbl 0864.03015） 全文： 内政部
奥尔纳·库普弗曼；奥尔纳·格伦伯格 买一送一！！！ （英语） Zbl 0857.03009号 J.日志。计算。 6，第4期，523-539（1996）. 审核人：D.Gruska（布拉迪斯拉发） MSC公司：03B45 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{O.Grumberg}，J.Log。计算。6，第4号，523--539（1996；Zbl 0857.03009） 全文： 内政部
科斯塔斯库尔库贝蒂斯；米哈利斯·亚纳卡基斯 概率验证的复杂性。 （英语） Zbl 0885.68109号 J.助理计算。机器。 42，第4期，857-907（1995）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Courcoubetis}和\textit{M.Yannakakis}，J.协会计算。机器。42，第4号，857--907（1995；Zbl 0885.68109） 全文： 内政部
拉杰夫·戈尔 命题Diodorean模态逻辑的无裁剪序列和表系统。 （英语） Zbl 0807.03036号 螺柱日志。 53，第3期，433-457（1994）.MSC公司：05年3月 03B45 PDF格式BibTeX公司 XML格式引用 \textit{R.Goré}，研究日志。53，第3号，433--457（1994；Zbl 0807.03036） 全文： 内政部
帕特丽斯·戈德弗里德；皮埃尔·沃尔珀 模型检查的部分方法。 （英语） Zbl 0806.68079号 Inf.计算。 110，第2号，305-326（1994）.MSC公司：60年第68季度 2010年第68季度 65年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Godefroid}和\textit{P.Wolper}，Inf.Comput。110，第2号，305-326（1994；Zbl 0806.68079） 全文： 内政部 链接
西斯特拉·A·普拉萨德；Lenore D.扎克。 受限时间逻辑中的推理。 （英语） Zbl 0771.03007号 Inf.计算。 102，第2期，167-195（1993）.MSC公司：03B45 60年第68季度 03B70号 68吨15 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Sistla}和\textit{L.D.Zuck}，Inf.Compute。102，第2167-195号（1993年；Zbl 0771.03007） 全文： 内政部
罗马克里希纳，Y.S。；莫瑟，L.E。；狄龙，L.K。；梅利亚·史密斯，P.M。；G.库蒂。 命题时态逻辑的自动机理论决策过程，从开始到结束。 （英语） Zbl 0761.03005号 安.社会.数学。政策。，序列号。四、 芬丹。信息。 第3271-282号第17页（1992年）.MSC公司：03B25号 03B45 68吨15 03B35型 68瓦30 65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{Y.S.Ramakrishna}等人，Ann.Soc.Math。政策。，序列号。四、 芬丹。Inf.17，No.3，271--282（1992；Zbl 0761.03005）
M.C.布朗。；E.M.克拉克。；O·格伦伯格。 描述命题时序逻辑中有限Kripke结构的特征。 （英语） Zbl 0677.03011号 西奥。计算。科学。 59，编号1-2，115-131（1988）. 审核人：C.马萨拉吉 MSC公司：03B45 03B70号 68问题65 03C90号 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Browne}等人，Theor。计算。科学。59，编号1--2，115-131（1988；Zbl 0677.03011） 全文： 内政部
艾默生·E·艾伦；Lei、Chin-Laung 模型检查的模式：分支时间逻辑反击。 （英语） Zbl 0615.68019号 科学。计算。程序。 8, 275-306 (1987).MSC公司：60年第68季度 68N25号 65年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Emerson}和\textit{C.L.Lei}，科学。计算。程序。8275--306（1987年；Zbl 0615.68019） 全文： 内政部
David A.Plaisted。 命题时态逻辑和其他专业理论组合的决策过程。 （英语） Zbl 0635.03026号 J.汽车。推理 2, 171-190 (1986).MSC公司：03B70号 03B25号 68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \文本｛D.A.Plaisted｝，J.Autom。推理271-190（1986年；兹bl 0635.03026） 全文： 内政部
安德烈·萨拉斯 关于一阶时序逻辑中的语义结果关系。 （英语） Zbl 0622.03012号 西奥。计算。科学。 47, 329-334 (1986). 审核人：H.西村 MSC公司：03B45 03B25号 PDF格式BibTeX公司 XML格式引用 \文本{A.Szalas}，Theor。计算。科学。47、329--334（1986年；Zbl 0622.03012） 全文： 内政部
皮埃尔·沃尔珀 时态逻辑的tableau方法：概述。 （英语） 兹伯利0585.03008 逻辑分析。，努夫。Sér。 28, 119-136 (1985).MSC公司：03B25号 03B45 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{P.Wolper}，日志。分析。，努夫。Sér。28、119--136（1985；Zbl 0585.03008）
苏珊娜·格拉芙 论Lamport对线性时序逻辑和分支时序逻辑的比较。 （英语） Zbl 0551.68033号 RAIRO，Inf.Théor公司。 18, 345-353 (1984). 审核人：J.兹拉图斯卡 MSC公司：68问题65 60年第68季度 03B45 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{S.Graf}，RAIRO，Inf.Théor。18、345--353（1984年；Zbl 0551.68033） 全文： 欧洲DML