×
尼基塔·阿列克桑德罗维奇·普罗琴科;弗拉基米尔·弗拉迪米洛维奇·里巴科夫;里马茨基、维塔利、瓦伦蒂诺维奇

区间FP-逻辑的可满足性问题。 （英语） Zbl 07711303号

伊兹夫。伊尔库茨克。戈斯。州立大学。材料。 44, 98-107 (2023).
摘要：本文研究区间模态逻辑，其中模态算子（Diamond）的动作受区间边界的限制。此外，模态逻辑的语言是由操作符\（D（\alpha，\beta）\扩展的，其真值是定性确定的：只有当公式\（\alfa\）为真的区间\（[c_i；c_{i+1}]\）上的点数严格小于公式\（\ beta \）为true的段中的点数时，才是真的。解决了公式的可满足性问题，从而解决了逻辑的可判定性。

MSC公司：

03B45号 模态逻辑（包括规范逻辑）
05时03分 数学中的非标准模型

关键词：

模态逻辑;框架和模型Kripke;可满足性问题
PDF格式BibTeX公司 XML格式引用
\textit{N.A.Protsenko}等人，Izv。伊尔库茨克。戈斯。州立大学。材料44，98--107（2023；Zbl 07711303）
全文： DOI程序 链接
OA许可证

参考文献：

[1] Babenyshev，S。；Rybakov，V.，基于线性时序逻辑LTL的局部公共知识混合逻辑的可判定性，CiE 2008：计算机科学课堂讲稿，32-41（2008）·兹比尔1142.03323
[2] Babenyshev，S。；Rybakov，V.，《发现和知识的逻辑：决策算法》，KES（2），计算机科学讲稿，711-718（2008）
[3] Babenyshev，S。；Rybakov，V.，《描述多智能体系统的进化》，KES（1）计算机科学讲稿，38-45（2009）
[4] Babenyshev，S。；Rybakov，V.，《线性时序逻辑LTL：可接受规则的基础》，《逻辑计算杂志》，第2期，第157-177页（2011年）·Zbl 1233.03026号
[5] Babenyshev，S。；Rybakov，V.，《线性时间逻辑统一》，《纯逻辑和应用逻辑年鉴》，1991-1000（2011）·Zbl 1241.03014号
[6] 巴德，F。；Sattler，U.，《描述逻辑中的表达式数字限制》，J.Log。计算。，3, 319-350 (1999) ·兹比尔0940.03035
[7] 巴德，F。；K¨usters，R.，《描述逻辑与角色传递闭包的统一》，载：Robert Nieuwenhuis，Andrei Voronkov（编辑）。《程序设计、人工智能和推理逻辑》，LPAR，217-232（2001），Springer出版社·Zbl 1275.68134号
[8] 巴德，F。；Morawska，B.，描述逻辑EL中的统一，计算机科学中的逻辑方法，3，1-31（2010）·Zbl 1214.68379号
[9] Belardinelli，F。；Lomuscio，A.，《多智能体系统一阶逻辑中知识与时间的交互：完整性结果》，《人工智能研究杂志》，1-45（2012）·Zbl 1267.68221号
[10] Gabbay，D.M。；Hodkinson，I.M.，实数上具有Until和Since的时态逻辑公理化，《逻辑与计算杂志》，229-260（1990）·Zbl 0744.03018号
[11] Pnueli，A.，《程序的时序逻辑》，第18届计算机科学基础年度研讨会论文集，46-57（1977）
[12] 霍洛克斯，I。；Giese，M。；Kharlamov，E。；Waaler，A.，《使用语义技术应对数据多样性挑战》，IEEE互联网计算，6，62-66（2016），IEEE
[13] Rybakov，V.V.，《直到和下一个的线性时序逻辑，逻辑连续性》，《纯粹应用》。逻辑，132-45（2008）·邮编1147.03008
[14] Rybakov，V.V.，《非传递线性时序逻辑和逻辑知识运算》，《逻辑与计算杂志》，第3945-958页（2016年）·Zbl 1403.03028号
[15] Rybakov，V.V.，《由时间状态自身生成的重叠时间关系的时间逻辑》，《西伯利亚数学报告》，923-932（2020）·Zbl 1437.03081号
[16] Rybakov，V.V.，《多主体时间非传递线性逻辑与可容许性问题》，《代数与逻辑》，59，87-100（2020）·Zbl 1484.03031号
[17] Rybakov，V.V.，《具有多主体时间可及性关系的分支时间逻辑》，《西伯利亚数学杂志》，第3期，第503-510页（2021年）·Zbl 1474.68341号
[18] Vardi，M.，线性时间逻辑的自动机理论方法，Y.Banff高阶研讨会，238-266（1995）
[19] Vardi，M.Y.，《用双向自动机推理过去》，ICALP，LNCS，628-641（1998），Springer·Zbl 0909.03019号
[20] 伍尔德里奇，M。；Lomuscio，A.，多代理VSK逻辑，第七届欧洲人工智能逻辑研讨会论文集（JELIAI-2000）（2000），Springer-Verlag
[21] Wooldridge，M.，《多智能体规划的自动机理论方法》，第一届欧洲多智能体系统研讨会（EUMAS）论文集（2003年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。