诺里希罗·卡米德 支持拒绝的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 1499.03016号 J.塞姆。日志。 87,第3期,995-1022(2022). 审核人:Hirokazu Nishimura(筑波) MSC公司:03B44号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Boudou}等人,J.Symb。日志。87,编号3,995--1022(2022;Zbl 1499.03016) 全文: 内政部 arXiv公司
约瑟夫·布杜;马丁·迪盖兹;大卫·费尔南德斯·杜克;菲利普·克莱默 探索直觉主义时间逻辑的丛林。 (英语) Zbl 07776319号 理论与实践。日志。程序。 21,第4期,459-492(2021).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Boudou}等人,《理论与实践》。日志。程序。21,第4号,459--492(2021;Zbl 07776319) 全文: 内政部 arXiv公司
卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;马克·雷诺兹 用于TPTL和\(\mathrm{TPTL_b+Past}\)的单程和树形表格系统。 (英语) Zbl 07354965号 Inf.计算。 278,文章ID 104599,25 p.(2021).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Geatti}等人,《信息计算》。278,文章ID 104599,25 p.(2021;Zbl 07354965) 全文: 内政部
道德,德拉甘;阿列克桑达尔·佩罗维奇 概率时间逻辑。 (英语) 兹伯利07456317 Ognjanović,Zoran(编辑),各种逻辑系统的概率扩展。查姆:斯普林格。71-108 (2020).MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{D.Doder}和\textit{A.Perović},in:各种逻辑系统的概率扩展。查姆:斯普林格。71-108(2020;Zbl 07465317) 全文: 内政部
舒新峰;段振华;杜洪伟 投影时序逻辑的决策过程和完整公理化。 (英语) Zbl 1506.03070号 西奥。计算。科学。 819,50-84(2020).MSC公司:03B44号 03B35型 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{X.Shu}等人,Theor。计算。科学。819、50-84(2020年;Zbl 1506.03070) 全文: 内政部
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 时间间隔与时间点逻辑模型检查。表现力比较。 (英语) Zbl 1407.68283号 ACM事务处理。计算。日志。 第20条第1款第4条第31页(2019年).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,ACM Trans。计算。日志。20,第1号,第4条,第31页(2019年;Zbl 1407.68283) 全文: 内政部
卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;马克·雷诺兹 用于(mathrm{TPTL})和(mathrm)的单程和树形表格系统{TPTL}_b+\mathrm{过去}\)。 (英语) Zbl 1524.03015号 Orlandini,Andrea(编辑)等人,第九届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2018,德国萨尔布吕肯,2018年9月26日至28日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)277176-190(2018)。MSC公司:03B44号 03B70号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{L.Geatti}等人,《电子》。程序。西奥。计算。科学。(EPTCS)277176-190(2018年;兹bl 1524.03015) 全文: arXiv公司 链接
格里高·罗什乌 有限迹线性时序逻辑:共导完备性。 (英语) Zbl 1394.68237号 形式方法系统。设计。 53,第1期,138-163(2018).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.Rošu},《形式与方法系统》。设计。53,第1号,138--163(2018;Zbl 1394.68237) 全文: 内政部
大卫·费尔南德斯·杜克 动力系统的直觉时间逻辑。 (英语) Zbl 1453.03014号 日志。方法计算。科学。 14,第3期,第3号论文,35页(2018年).MSC公司:03B44号 03B20型 37B20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Fernández-Duque},日志。方法计算。科学。14,第3期,第3号论文,35页(2018;Zbl 1453.03014) 全文: 内政部 arXiv公司
马克·卡明斯基;格特·斯莫尔卡 混合PDL的目标导向决策过程。 (英语) Zbl 1314.03023号 J.自动化。推理 52,第4期,407-450(2014).MSC公司:03B45号 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{M.Kaminski}和\textit{G.Smolka},J.Autom。推理52,No.4,407--450(2014;Zbl 1314.03023) 全文: 内政部 链接
本·莫斯科夫斯基 使用区间和时间反转进行组合推理。 (英语) Zbl 1378.03017号 安。数学。Artif公司。智力。 71,编号1-3,175-250(2014).MSC公司:03B44号 03B70号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Moszkowski},Ann.数学。Artif公司。智力。71,编号1--3,175-250(2014;Zbl 1378.03017) 全文: 内政部
大卫·费尔南德斯·杜克 动态拓扑逻辑的非有限公理化。 (英语) Zbl 1287.03069号 ACM事务处理。计算。日志。 第15号第1条第4条第18页(2014年).MSC公司:03B70号 03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Fernández Duque},ACM翻译。计算。日志。15,第1号,第4条,第18页(2014年;Zbl 1287.03069) 全文: 内政部 arXiv公司
萨瓦斯·科努尔 用于指定和验证实时系统的时序逻辑调查。 (英语) Zbl 1425.68258号 前面。计算。科学。 7,第3期,370-403(2013).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Konur},前面。计算。科学。7,第3号,370--403(2013;Zbl 1425.68258) 全文: 内政部
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 1269.03033号 安。数学。Artif公司。智力。 65,编号2-3,217-243(2012). 审核人:Jürgen Landes(坎特伯雷) MSC公司:03B62号 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ognjanović}等人,《数学年鉴》。Artif公司。智力。65,编号2--3,217--243(2012;Zbl 1269.03033) 全文: 内政部
大卫·费尔南德斯·杜克 动态拓扑逻辑的完善公理化。 (英语) Zbl 1256.03025号 J.塞姆。日志。 77,第3期,947-969(2012). 审核人:古拉姆·贝扎尼什维利(拉斯克鲁斯) MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Fernández-Duque},J.Symb。日志。77,第3号,947--969(2012;Zbl 1256.03025) 全文: 内政部 arXiv公司 欧几里得
马库斯拿铁;马丁·兰格 分支时间?修剪时间到了! (英语) Zbl 1358.68193号 Gramlich,Bernhard(编辑)等人,《自动推理》。2012年6月26日至29日在英国曼彻斯特举行的第六届国际联合会议,IJCAR 2012。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-31364-6/pbk)。计算机科学课堂讲稿7364。《人工智能课堂讲稿》,393-407(2012)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Latte}和\textit{M.Lange},莱克特。注释计算。科学。73641393-407(2012年;兹bl 1358.68193) 全文: 内政部 链接
大卫·费尔南德斯·杜克 度量空间的动态拓扑逻辑。 (英语) Zbl 1241.03020号 J.塞姆。日志。 77,第1期,308-328(2012).MSC公司:03B45号 03B80号 54E35个 54E50型 54H20个 PDF格式BibTeX公司 XML格式引用 \textit{D.Fernández-Duque},J.Symb。日志。77,第1号,308--328(2012;Zbl 1241.03020) 全文: 内政部 欧几里得 链接
大卫·费尔南德斯·杜克 拓扑动力学的纠缠模态逻辑。 (英语) Zbl 1248.03033号 Ann.纯粹应用。逻辑 163,第4期,467-481(2012).MSC公司:03B45号 03B44号 03B62号 03C35号 PDF格式BibTeX公司 XML格式引用 \textit{D.Fernández-Duque},Ann.纯苹果。逻辑163,No.4,467--481(2012;Zbl 1248.03033) 全文: 内政部
Dimitar P.Guelev。;柯特林·迪马;康斯坦丁·埃纳 知识、完美回忆和过去的交替时间时序逻辑:公理化和模型检查。 (英语) Zbl 1242.68161号 J.应用。非类别。日志。 21,第1期,93-131(2011).MSC公司:60年第68季度 03B44号 91A44型 PDF格式BibTeX公司 XML格式引用 \文本{D.P.Guelev}等人,J.Appl。非类别。日志。21,第1号,93--131(2011;Zbl 1242.68161) 全文: 内政部
弗拉基米尔·里巴科夫 传递时态逻辑中允许的规则{T}(T)_{\mathrm(马特姆){S} 4个}\),充分条件。 (英语) Zbl 1209.03011号 西奥。计算。科学。 411,第50号,4323-4332(2010).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \文本{V.Rybakov},Theor。计算。科学。411、50号、4323--4332(2010;Zbl 1209.03011) 全文: 内政部
Jose Gaintzarain;蒙特塞拉特赫莫;帕基·卢西奥;玛丽莎·纳瓦罗;费尔南多·奥雷贾斯 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) 全文: 内政部
诺里希罗·卡米德 将线性时间时序逻辑嵌入到无限逻辑中:应用于多智能体无限认知线性时间逻辑的简化。 (英语) Zbl 1250.03028号 Fisher,Michael(编辑)等人,《多智能体系统中的计算逻辑》。第九届国际研讨会,CLIMA IX,德国德累斯顿,2008年9月29日至30日。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-642-02733-8/pbk)。计算机科学5405课堂讲稿。人工智能课堂讲稿,57-76(2009)。MSC公司:03B44号 05年3月 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},莱克特。注释计算。科学。5405、57--76(2009年;Zbl 1250.03028) 全文: 内政部
迈克尔·费希尔;鲍里斯·科涅夫;阿列克谢·利西萨 容错协议的时间验证。 (英语) Zbl 1234.68255号 Michael Butler(编辑)等人,容错方法、模型和工具。柏林:施普林格出版社(ISBN 978-3-642-00866-5/pbk)。计算机科学课堂讲稿5454,44-56(2009)。MSC公司:60年第68季度 03B44号 68米15 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Fisher}等人,Lect。注释计算。科学。5454,44-56(2009年;兹比尔12346.8255) 全文: 内政部
大卫·费尔南德斯 动态拓扑逻辑的非确定性语义。 (英语) Zbl 1168.03010号 Ann.纯粹应用。逻辑 157,编号2-3,110-121(2009). 审核人:G.E.Mints(斯坦福) MSC公司:03B45号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Fernández},Ann.纯应用。逻辑157,No.2--3,110-121(2009;Zbl 1168.03010) 全文: 内政部 arXiv公司
凯·布伦勒;马丁·兰格 时序逻辑的无切割序列系统。 (英语) Zbl 1151.03009号 J.日志。代数。程序。 76,第2期,216-225(2008). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:03B44号 03B70号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{K.Brünnler}和\textit{M.Lange},J.Log。代数。程序。76,编号216-225(2008年;兹bl 1151.03009) 全文: 内政部 链接
里巴科夫,V。 带操作的分支时间逻辑\(mathcal{BTL}^{text{U,S}}_{text{N},\text{N}^{-1}}(mathcal{Z})_{alpha}\)直到和自基于整数束、逻辑序列、判定算法。 (英语) Zbl 1148.03011号 理论计算。系统。 43,第2期,254-271(2008).MSC公司:03B44号 03年2月25日 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov},理论计算。系统。43,第2号,254--271(2008;Zbl 1148.03011) 全文: 内政部
斯特凡·德姆里 具有Presburger约束的线性时间时序逻辑:概述。 (英语) Zbl 1186.03036号 J.应用。非类别。日志。 16,第3-4、311-347号(2006).MSC公司:03B44号 05年3月 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri},J.Appl.(《应用》杂志)。非类别。日志。16,编号3--4,311--347(2006;Zbl 1186.03036) 全文: 内政部
V.戈兰科。;A.蒙塔纳里。;萨拉,P。;Sciavicco,G。 命题区间时间逻辑的一种通用表格绘制方法:理论与实现。 (英语) Zbl 1104.03010号 J.应用。日志。 4,第3号,305-330(2006). 审核人:Manuel Ojeda Aciego(马拉加) MSC公司:03B44号 03B70号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}等人,J.Appl。日志。4,第3号,305-330(2006;Zbl 1104.03010) 全文: 内政部
棕榈,阿迪 模型理论语法和解析:时态逻辑的应用。 (英语) Zbl 1263.68169号 Moss,Lawrence S.(编辑)等人,第六届形式语法会议和第七届语言数学会议联席会议记录,芬兰赫尔辛基,2001年8月10日至12日。诉讼程序。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记53,261-273(2004)。MSC公司:68T50型 03B44号 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{A.Palm},电子。注释Theor。计算。科学。53、261--273(2004年;Zbl 1263.68169) 全文: 内政部