×
菲利普·巴尔比亚尼

关于无界密集线性序词典编纂产品的时间逻辑：对其可计算性的新研究。 （英语） Zbl 1484.03030号

Ju，Shier（编辑）等，非经典逻辑及其应用。2016年12月5日至9日，第八届逻辑与认知国际研讨会，WOLC 2016，中国广州。新加坡：施普林格。日志。亚洲：研究日志。伦敦银行同业拆借利率。，67-83（2020年）。
摘要：本文考虑了无界稠密线性序词典编纂产物的时间逻辑，并通过拼接提供了一个新的证明，证明了它所引起的可满足性问题在NP中的隶属度。
有关整个系列，请参见[Zbl 1444.03001号].

MSC公司：

03B44号 时间逻辑
06年05月 订单总数
03B25号 理论和句子集的可决定性
2015年3月1日 计算复杂性（包括隐式计算复杂性）

关键词：

线性时序逻辑；词典产品；可满足性问题；可判定性；复杂性；镶嵌法；决策程序
PDF格式BibTeX公司 XML格式引用
\textit{P.Balbiani}，in：非经典逻辑及其应用。2016年第八届逻辑与认知国际研讨会（WOLC 2016）后传，中国广州，2016年12月5-9日。新加坡：施普林格。67-83（2020年；Zbl 1484.03030）
全文： 内政部 哈尔

参考文献：

[1] Balbiani，2008年出版。非标准分析视角下的时间表征和时间推理。在第十一届国际知识表示和推理原理会议上。AAAI编辑G.Brewka和J.Lang，695-704。
[2] Balbiani，P.2009年。模态逻辑词汇产品的公理化和完备性。《组合系统的前沿》，编辑S.Ghilardi和R.Sebastiani，165-180。柏林：斯普林格·Zbl 1193.03035号
[3] Balbiani，P.2010年。公理化定义在无端点的密集线性顺序的所有词典产品类上的时间逻辑。《时间表征与推理》（In Temporal Representation and Reasoning），编辑N.Markey和J.Wijsen，19-26。电气与电子工程师协会。
[4] Balbiani，P.和S.MikuláS。2013.通过无界密集线性顺序词典编纂产品的时间逻辑的镶嵌，确定性和复杂性。《组合系统前沿》，P.Fontaine、C.Ringeissen和R.Schmidt主编，151-164年。柏林：斯普林格·Zbl 1398.03078号 ·doi:10.1007/978-3-642-40885-4_10
[5] Balbiani，P.和I.Shapirovsky。2019.完成模态逻辑词典学总和和乘积的公理化。正在准备中。
[6] 布尔，R.1966。（S4.3）的所有法向延伸具有有限模型特性。Zeitschrift für mathematische Logik und Grundlagen der Mathematik 12：314-344·Zbl 0154.00407 ·doi:10.1002/malq.19660120129
[7] Caleiro，C.、L.Viganó和M.Volpe。2013.关于多维模态逻辑的镶嵌方法：结合时态和模态运算符的案例研究。Logica Universalis 7:33-69·兹比尔1283.03039 ·doi:10.1007/s11787-012-0074-5
[8] Euzenat，J.和A.Montanari，2005年。时间粒度。《人工智能中的时间推理手册》，M.Fisher、D.Gabbay和L.Vila主编，59-118。阿姆斯特丹：爱思唯尔。
[9] Fine，K.1971。包含\（S4.3）的逻辑。《数学杂志》17:371-376·Zbl 0228.02011 ·doi:10.1002/malq.19710170141
[10] Gabbay，D.和V.Shehtman。1998年，模态逻辑产品，第1部分。IGPL逻辑杂志6:73-146·Zbl 0902.03008号 ·doi:10.1093/jigpal/6.1.73
[11] Gabbay，D.、A.Pnueli、S.Shelah和J.Stavi。1980年，关于公平的时间分析。第七届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，163-173。纽约：ACM。
[12] Gabbay，D.、A.Kurucz、F.Wolter和M.Zakharyaschev。2003年，《多维模态逻辑：理论与应用》。阿姆斯特丹：爱思唯尔·Zbl 1051.03001号
[13] 加涅、J.-R.和J.Plaice。1996年。非标准时态演绎数据库系统。符号计算杂志22:649-664·Zbl 0867.68036号 ·doi:10.1006/jsco.1996.0070
[14] Kurucz，A.2007年。组合模态逻辑。在模态逻辑手册中，P.Blackburn、J.van Benthem和F.Wolter编辑，869-924。阿姆斯特丹：爱思唯尔。
[15] Marx，M.和Y.Venema。2007.松散主题的局部变化：模态逻辑和可判定性。《有限模型理论及其应用》，编辑E.Grädel、P.Kolaitis、L.Libkin、M.Marx、J.Spencer、M.Vardi、Y.Venema和S.Weinstein，371-429。柏林：斯普林格·Zbl 1133.03001号
[16] 马克思、M.、S.米库拉斯和M.雷诺兹。时间逻辑的镶嵌方法。《使用分析表和相关方法进行自动推理》，R.Dyckhoff编辑，324-340。柏林：斯普林格·Zbl 0963.03025号
[17] Nakamura，K.和A.Fusaoka。2007.基于非标准模型的混合系统推理。《2007年人工智能：人工智能进展》，编辑M.Orgun和J.Thornton，749-754。柏林：斯普林格。
[18] Reynolds，M.，1997年。一种可判定的并行时序逻辑。《圣母院形式逻辑杂志》38:419-436·Zbl 0904.03010号 ·doi:10.1305/ndjfl/1039700748
[19] Reynolds，M.和M.Zakharyaschev。2001。关于线性模态逻辑的乘积。逻辑与计算杂志11:909-931·兹比尔1002.03017 ·doi:10.1093/logcom/11.6.909
[20] Van Benthem，J.1991年。时间的逻辑。多德雷赫特：克鲁沃·Zbl 0758.03012号 ·doi:10.1007/978-94-015-7947-6
[21] Zakharyaschev，M·兹伯利0818.03008 ·doi:10.1002/malq.19950410103
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。