戴安娜·科斯塔;丹尼尔·菲格雷多;马丁斯（Manuel A.Martins）。 关系变化模型满足准一致性。 （英语） Zbl 1516.05214号 J.日志。阿尔盖布。方法计划。 133，文章ID 100870，11 p.（2023）. 概述：切换图是一种类似于图形的结构，其特征是嵌入高级边（链接到其他边的边）来描述反应现象。当遍历此类结构的边时，可以通过添加/删除边来更改此图的可访问性关系。关系变化模型被用于表示不同领域（从生物学到计算机科学）的现象，最近引入了一些模态语言。本文在切换图中引入了四值局部信息，并提出了一种次协调逻辑来研究这些系统。 MSC公司： 05C99年 图论 03B53号 准一致逻辑 关键词：交换机图 PDF格式BibTeX公司 XML格式引用 \textit{D.Costa}等人，J.Log。阿尔盖布。方法计划。133，文章ID 100870，11 p.（2023；Zbl 1516.05214） 全文： 内政部 OA许可证 参考文献： [1] Areces，C。；费瓦里，R。；Hoffmann，G.，交换逻辑，Log。J.IGPL，22，2309-332（2013）·兹伯利1342.03018 [2] Areces，C。；费瓦里，R。；Hoffmann，G.，关系改变模式操作符，Log。J.IGPL，23、4、601-627（2015）·Zbl 1405.03047号 [3] Aucher，G。；Benthem，J.v。；Grossi，D.，《破坏模态逻辑：一些模型和证明理论方面》，（逻辑、合理性和相互作用国际研讨会（2015），施普林格出版社），1-13·Zbl 1471.03040号 [4] 北卡罗来纳州贝尔纳普，《有用的四值逻辑》（Dunn，J.M.；Epstein，G.，《多值逻辑的现代应用》（1977），D.Reidel）·Zbl 0417.03009号 [5] 布莱克本，P。；医学博士Rijke。；《模态逻辑》，《剑桥理论计算机科学丛书》（2001），剑桥大学出版社·兹伯利0988.03006 [6] 南卡普斯。；R·圣地亚哥。；Martins，医学硕士。；Figueiredo，D.，反向模糊切换图，（巴西形式方法研讨会（2020），Springer），137-154·Zbl 1475.68233号 [7] 南卡普斯。；R·圣地亚哥。；Martins，医学硕士。；Figueiredo，D.，反转模糊切换图导论，科学。计算。程序。，第102776条pp.（2022） [8] Chechik，M。；Devereux，B。；南卡罗来纳州伊斯特布鲁克。；Gurfinkel，A.，多值符号模型检验，ACM Trans。柔和。工程方法。，12、4、371-408（2003年10月） [9] D.Costa，4DL：四值动态逻辑及其证明理论。 [10] 科斯塔·D·。；Martins，M.A.，《混合逻辑中的超一致性》，J.Log。计算。，27, 6, 1825-1852 (2016) ·兹比尔1396.03065 [11] 科斯塔·D·。；Martins，M.A.，《作为混合逻辑中四值可及性关系基础的非双模态算子》，J.Log。代数方法程序。，121，第100679条pp.（2021）·Zbl 07377681号 [12] 克鲁兹，A。；马德拉，A。；Barbosa，L.S.，《次协调跃迁系统的逻辑》，（Indrzejczak，A.；Zawidzki，M.，《第十届非经典逻辑国际会议论文集：理论与应用》，《第10届非经典逻辑学国际会议论文录：理论和应用》，电子程序理论计算科学，第358卷（2022年）， 270-284 [13] Figueiredo，D。；Barbosa，L.S.，生物调控网络的反应模型，（Chaves，M.；Martins，M.A.，分子逻辑和计算合成生物学（2019），Springer国际出版：Springer International Publishing Cham），74-88·Zbl 1526.92021号 [14] Figueiredo，D。；Martins，医学硕士。；Barbosa，L.S.，《关于反应跃迁和Reo连接器的注释》，（《关于协调的一切》，2018年），施普林格出版社，第57-67页·Zbl 1462.68123号 [15] Figueiredo，D。；罗查，E。；马丁斯，硕士。；Chaves，M.，rPrism-反应加权状态转移模型软件，（HSB 2019-第六届国际研讨会，混合系统生物学（2019）），165-174 [16] Fitting，M.，《逻辑编程的定点语义调查》，《编程语义的数学基础》，1996年。编程语义数学基础1996，Theor。计算。科学。，278, 1, 25-51 (2002) ·Zbl 1002.68023号 [17] Fitting，M.C.，多值模态逻辑，Fundam。通知。，15、3-4、235-254（1991年11月）·Zbl 0745.03018号 [18] 加巴伊，D。；Marcelino，S.，《反应性的全球观点：切换图及其逻辑》，《数学年鉴》。Artif公司。智力。，66, 1-4, 131-162 (2012) ·Zbl 1272.03099号 [19] Gabbay，D.M。；Marcelino，S.，《反应框架的模态逻辑》，Stud.Log。，93, 2, 405-446 (2009) ·兹比尔1193.03036 [20] 格兰特·J。；Hunter，A.，分析不一致的一阶知识库，Artif。智力。，172, 8-9, 1064-1093 (2008) ·Zbl 1183.68614号 [21] 格兰特·J。；Hunter，A.，《在逐步解决不一致性中测量一致性增益和信息损失》，（Liu，W.，《用不确定性进行推理的符号和定量方法》（2011），施普林格-柏林-海德堡：施普林格–柏林-海德堡-柏林，海德堡），362-373·Zbl 1341.68256号 [22] （Grant，J.；Martinez，M.V.，《衡量信息不一致性》（2018年），学院出版物） [23] Hansen，J.U。；Bolander，T。；Braüner，T.，多值混合逻辑，J.Log。计算。，28, 5, 883-908 (2015) ·Zbl 1444.03056号 [24] 亨特，A。；Konieczny，S.，《冲突度量：Shapley不一致值》，Artif。智力。，174, 14, 1007-1026 (2010) ·Zbl 1210.68106号 [25] 奥廷索夫，S.P。；Wansing，H.，《基于FDE的非协调模态逻辑的分离》，Stud.Log。，105、6、1221-1254（2017年12月）·Zbl 1417.03160号 [26] 里维奇奥，美国。；Jung，A。；Jansana，R.，《四值模态逻辑：克里普克语义和对偶性》，J.Log。计算。(2015) [27] 圣地亚哥，R.H.N。；Martins，医学硕士。；Figueiredo，D.，《引入模糊反应图：生物学上的简单应用》，软计算。，25, 6759-6774 (2021) ·Zbl 1498.05229号 [28] Thimm，M.，《关于不一致性度量的表达性》，Artif。智力。，234, 120-151 (2016) ·Zbl 1352.68236号 [29] 蒂姆，M。；Wallner，J.P.，《不一致性度量的一些复杂性结果》，（《第十五届知识表示与推理原则国际会议论文集》，KR’16（2016），AAAI出版社），114-123 [30] van Benthem，J.，《关于破坏和阻碍的论文》（机械化数学推理（2005），施普林格出版社），268-276·Zbl 1098.68632号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。