×
威廉·康雷迪;伊夫·福马塔蒂;亚历山德拉·帕尔米吉亚诺;苏米特·苏拉布

直觉模态多演算的算法对应。 （英语） Zbl 1318.03030号

西奥。计算。科学。 564, 30-62 (2015).
摘要：在本文中，算法对应理论是在[W.康拉德和A.帕尔米吉亚诺Ann.Pure应用。Logic 163，No.3，338–376（2012；Zbl 1255.03030号)]扩展到具有非经典基的mu-calculi。我们特别关注双教学情态微积分的语言。我们对[loc.cit.]中引入的算法ALBA进行了改进，以确保其在本文介绍的递归多不等式类上的成功。这种增强的可靠性关键在于不动点算子代数解释的序理论性质。我们表明，当限制为布尔设置时，递归多不等式与定义在[J.van Benthem等人，《研究日志》。100，第1–2号，第31–60号（2012年；Zbl 1404.03021号)].

引用于11文件

MSC公司：

03B45号 模态逻辑（包括规范逻辑）
03B70号 计算机科学中的逻辑

关键词：

Sahlqvist通信;算法对应;模态微积分;直觉逻辑

引文：

Zbl 1255.03030号;Zbl 1404.03021号

软件：

SQEMA公司
PDF格式BibTeX公司 XML格式引用
\textit{W.Conradie}等人，Theor。计算。科学。564，30--62（2015；Zbl 1318.03030）
全文： DOI程序

参考文献：

[1] Ackermann，W.，Untersuchungüber das Eliminations problem der mathematischen Logic，数学。安，110，390-413（1935）
[2] 布莱克本，P。；de Rijke，M。；Venema，Y.，模态逻辑（2001），剑桥大学出版社·Zbl 0988.03006号
[3] 布拉德菲尔德，J.C。；Stirling，C.，Modal mu-calculi，（Blackburn，P.；van Benthem，J.；Wolter，F.，模态逻辑手册（2006），Elsevier），721-756
[4] Burris，S。；Sankappanavar，H.，《通用代数课程》，数学研究生教材（1981年），斯普林格-Verlag·Zbl 0478.08001号
[5] 康拉德，W。；吉拉尔迪，S。；Palmigiano，A.，统一通信，（Baltag，A.；Smets，S.，Johan van Benthem on Logic and Information Dynamics。Johan van Benthem on Logic and Information Dynamics，Outstanding Contributions to Logic（2014），施普林格国际出版社），933-975·Zbl 1344.03023号
[6] 康拉德，W。；V.戈兰科。；Vakarelov，D.，模态逻辑I中的算法对应和完备性：核心算法SQEMA，Log。方法计算。科学。，1, 5 (2006) ·Zbl 1126.03018号
[7] 康拉德，W。；V.戈兰科。；Vakarelov，D.，模态逻辑中的算法对应和完备性。V.SQEMA的递归扩展，J.Appl。日志。，8, 319-333 (2010) ·Zbl 1214.03011号
[9] 康拉德，W。；Palmigiano，A.，分配模态逻辑的算法对应和规范性，Ann.Pure Appl。逻辑，163，338-376（2012）·Zbl 1255.03030号
[11] Davey，B.A。；Priestley，H.A.，《晶格与秩序》（2002），剑桥大学出版社·Zbl 1002.06001号
[12] 德佩瓦，V。；R·戈尔。；Mendler，M.，直觉主义模态逻辑与应用（特刊）。直觉主义模态逻辑及其应用（特刊），《逻辑计算》。，14, 4 (2004)
[13] 埃宾豪斯，H.-D。；Flum，J.，有限模型理论，数学逻辑的观点（1995），Springer·Zbl 0841.03014号
[14] 格尔克，M。；Y.Nagahashi。；Venema，H.，分配模态逻辑的Sahlqvist定理，Ann.Pure Appl。逻辑，131，65-102（2005）·兹比尔1077.03009
[15] V.戈兰科。；Otto，M.，模态逻辑的模型理论，（van Benthem，J.；Blackburn，P.；Wolter，F.，《模态逻辑手册》（2006），Elsevier），249-330
[16] 戈雷，R。；Postniece，L。；Tiu，A.，双直觉时态逻辑的删减和证明搜索，（模态逻辑进展（2010）），156-177·Zbl 1254.03033号
[17] Kozen，D.，命题μ演算的结果，定理。计算。科学。，27, 333-354 (1983) ·Zbl 0553.03007号
[18] Rauszer，C.，《直觉主义逻辑某种扩展的代数和kripke式方法》，《数学论文》。，168 (1980) ·Zbl 0442.03024号
[19] Sofronie-Stokkermans，V.，带算子的有界分配格的对偶性和规范扩张，及其在非经典逻辑语义中的应用I，Studia Logica，64，1，93-132（2000）·Zbl 0948.06009
[20] van Benthem，J.F.A.K.，对应理论，（Gabbay，D.M.；Guenthner，F.，《哲学逻辑手册》，第3卷（2001），Kluwer学术出版社），325-408·Zbl 1003.03518号
[21] van Benthem，J.F.A.K.，最小谓词、不动点和可定义性，符号逻辑杂志，70，3，696-712（2005）·Zbl 1089.03010号
[22] van Benthem，J.F.A.K。；北卡罗来纳州贝扎尼什维利。；Hodkinson，I.，《模态微积分的Sahlqvist对应关系》，Studia Logica，100，31-60（2012）·Zbl 1404.03021号
[23] 范德霍克，W。；Pauly，M.，游戏和信息的模态逻辑，（van Benthem，J.；Blackburn，P.；Wolter，F.，模态逻辑手册（2006），爱思唯尔），1077-1148
[24] Venema，Y.，《代数与余代数》（van Benthem，J.；Blackburn，P.；Wolter，F.，《模态逻辑手册》（2006），爱思唯尔出版社），331-426
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。