诺里希罗·卡米德 支持拒绝的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） 全文： 内政部
罗马斯·阿隆德里斯 更有效地证明时序逻辑序列。 （英语） 兹比尔1517.03013 谎言。垫环。，程序。岩性。数学。Soc.，爵士。A类 63, 1-8 (2022). 审核人：Valentin F.Goranko（斯德哥尔摩） MSC公司：03B44号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{R.Alonderis}，谎言。垫环。，程序。岩性。数学。Soc.，爵士。A 63，1--8（2022；Zbl 1517.03013） 全文： 内政部
罗马斯·阿隆德里斯;普利乌什凯维奇乌斯，里贾曼塔斯;艾达，普留什凯维奇;哈洛达斯·吉德拉 时序逻辑演算的循环检查规范。 （英语） Zbl 07625363号 螺柱日志。 110，第6期，1507-1536（2022）.MSC公司：03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{R.Alonderis}等人，研究日志。110，编号6，1507--1536（2022；Zbl 07625363） 全文： 内政部
Rooduijn，简 具有主模态的某些模态逻辑的循环超连续计算。 （英语） Zbl 07532526号 Das，Anupam（编辑）等人，《使用分析表和相关方法的自动推理》。第30届国际会议，2021年9月6日至9日，英国伯明翰，TABLEAUX 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12842, 354-370 (2021).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.Rooduijn}，莱克特。注释计算。科学。12842、354--370（2021；Zbl 07532526） 全文： 内政部
阿德里安·弗兰卡兰扎;克莱尔·西尼 计算机说不：使用本地证明系统对运行时监控器进行裁决解释。 （英语） 兹比尔1455.68103 J.日志。阿尔盖布。方法计划。 119，文章ID 100636，第25页（2021）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Francalanza}和\textit{C.Cini}，J.Log。阿尔盖布。方法计划。119，文章ID 100636，25 p.（2021；Zbl 1455.68103） 全文： 内政部
R·阿隆德里斯。;普利乌什·凯维奇乌斯，R。;Pliuškevičiené，A。;希德拉，H。 时序逻辑的循环型序列计算。 （英语） Zbl 1462.03012号 J.汽车。推理 64，第8期，1663-1684（2020）. 审核人：Hirokazu Nishimura（筑波） MSC公司：03B44号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{R.Alonderis}等人，J.Autom。推理64，No.8，1663--1684（2020；Zbl 1462.03012） 全文： 内政部
亚历山大·博洛托夫;蒙特塞拉特赫莫;帕基·卢西奥 分支时间逻辑\（\mathsf{ECTL}^{#}\）及其树型单程表：扩展\（\mathsf{ECTL}^+\）的公平性表示。 （英语） 兹比尔1433.03049 西奥。计算。科学。 813, 428-451 (2020).MSC公司：03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bolotov}等人，Theor。计算。科学。813428-451（2020年；Zbl 1433.03049） 全文： 内政部
亚历山大·博洛托夫;蒙特塞拉特赫莫;帕基·卢西奥 扩展ECTL（^+）的公平性表示：一种树型单程表方法。 （英语） Zbl 1487.68154号 Alechina，Natasha（编辑）等人，第25届时间表征和推理国际研讨会。《时代》2018，波兰华沙，2018年10月15日至17日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。120，第5条，22 p.（2018）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Bolotov}等人，LIPIcs——莱布尼茨国际程序。通知。120，第5条，22 p.（2018；Zbl 1487.68154） 全文： 内政部
米歇尔·马蒂;托马斯·施图德 常识的证明理论。 （英语） Zbl 1437.03070号 van Ditmarsch，Hans（编辑）等人，Jaakko Hintikka，关于知识和游戏理论语义。献给Jaakko Hintikka。查姆：斯普林格。Outst公司。控制日志。12, 433-455 (2018).MSC公司：03B42号 03财年03 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Marti}和\textit{T.Studer}，Outst。控制日志。12、433--455（2018年；Zbl 1437.03070） 全文： 内政部
马克·雷诺兹 LTL表的新规则。 （英语） Zbl 1478.03030号 Cantone，Domenico（ed.）等人，《第七届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2016，意大利卡塔尼亚，2016年9月14日至16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）226287-301（2016）。MSC公司：03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Reynolds}，电子。程序。西奥。计算。科学。（EPTCS）226287-301（2016年；兹bl 1478.03030） 全文： arXiv公司 链接
罗伊·戴克霍夫 自Gentzen以来的直觉决策程序。 （英语） 兹比尔1439.03096 Kahle，Reinhard（编辑）等人，《证明理论的进展》。2013年12月13日至14日，瑞士伯尔尼，Gerhard Jäger诞辰60周年之际，研讨会记录。巴塞尔：Birkhäuser/Springer。掠夺。计算。科学。申请。日志。28, 245-267 (2016).MSC公司：03财年03 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Dyckhoff}，程序。计算。科学。申请。日志。28245--267（2016；Zbl 1439.03096） 全文： 内政部 链接
克里斯蒂安·多兹卡尔;格特·斯莫尔卡 构造型理论中CTL的完备性和可判定性结果。 （英语） Zbl 1356.03053号 J.汽车。推理 56，第3期，343-365（2016）.MSC公司：03B35型 03B44号 03B25号 03C35号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Doczkal}和\textit{G.Smolka}，J.Autom。推理56，No.3，343--365（2016；Zbl 1356.03053） 全文： 内政部
马克·卡明斯基;格特·斯莫尔卡 混合PDL的目标导向决策过程。 （英语） Zbl 1314.03023号 J.汽车。推理 52，第4期，407-450（2014）.MSC公司：03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Kaminski}和\textit{G.Smolka}，J.Autom。推理52，No.4，407--450（2014；Zbl 1314.03023） 全文： 内政部 链接
何塞·甘扎兰;蒙特塞拉特赫莫;帕基·卢西奥;玛丽莎·纳瓦罗;费尔南多·奥雷贾斯 PLTL的表和序列的双重系统。 （英语） Zbl 1183.68596号 J.日志。阿尔盖布。程序。 78，第8号，701-722（2009）.MSC公司：68T27型 68吨15 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Gaintzarain}等人，J.Log。阿尔盖布。程序。78，第8号，701--722（2009；Zbl 1183.68596） 全文： 内政部
拉杰夫·戈尔;弗洛里安·维德曼 基于动态表的PDL可满足性最优决策过程。 （英语） Zbl 1250.03017号 Schmidt，Renate A.（编辑），自动扣除-CADE-22。第22届自动扣款国际会议，2009年8月2日至7日，加拿大蒙特利尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲座笔记5663。人工智能课堂讲稿，437-452（2009）。MSC公司：03B35型 03B25号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Goré}和\textit{F.Widmann}，莱克特。注释计算。科学。56633437-452（2009年；兹bl 1250.03017） 全文： 内政部 链接
托马斯·施图德 关于模态微积分的证明理论。 （英语） Zbl 1163.03014号 螺柱日志。 89，第3期，343-363（2008）. 审核人：埃米尔·杰亚贝克（普拉哈） MSC公司：03B45号 35层03 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{T.Studer}，Stud.Log。89，第3号，343--363（2008；Zbl 1163.03014） 全文： 内政部 链接