×
蒂齐亚诺·达尔蒙特;查尔斯·格雷洛伊斯;尼古拉·奥利维蒂

直觉主义非正规模态逻辑：一般框架。 （英语） Zbl 1485.03047号

J.菲洛斯。日志。 49，No.5，833-882（2020）。
摘要：我们定义了一类直觉非正规模态逻辑；它们可以被视为经典的直观对应物。我们首先考虑单峰逻辑，它只包含必然性或可能性。然后我们考虑更重要的双模逻辑，它包含两个模态算子。在这种情况下，我们定义了增加强度的必要性和可能性之间的几个相互作用，尽管比二元性弱。因此，我们得到了一个由24个不同的双模逻辑组成的格。对于所有逻辑，我们都提供了希尔伯特公理化和无割序列演算，并在此基础上证明了它们的可判定性。然后，我们根据邻域模型定义逻辑的语义特征，邻域模型包含与这两种模式对应的两个不同邻域函数。我们的语义框架不仅模块化地捕获了我们的系统，还捕获了已知的直觉非正规模态逻辑，如构造性K（CK）和Wijesekera的构造性并发动态逻辑的命题片段。

引用于7文件

MSC公司：

03B45号 模态逻辑（包括规范逻辑）
03B20型 经典逻辑子系统（包括直觉逻辑）
05年3月 切割消除和正规形定理

关键词：

直觉逻辑;非正规模态逻辑;邻域语义;继发结石
PDF格式BibTeX公司 XML格式引用
\textit{T.Dalmonte}等人，J.Philos。日志。49，编号5，833–882（2020；兹bl 1485.03047）
全文： 内政部 arXiv公司

参考文献：

[1] 安格伯格，AJJ；格拉茨，N。；Roy，O.，《义务、自由选择和最弱权限的逻辑》，《符号逻辑评论》，8，4，807-827（2015）·Zbl 1375.03007号 ·doi:10.1017/S1755020315000209
[2] Arisaka，R.、Das，A.、Straßburger，L.（2015）。关于构造模态逻辑的嵌套序列。计算机科学中的逻辑方法，11·Zbl 1347.03038号
[3] Askounis，D.，Koutras，C.D.，Zikos，Y.（2012）。知识意味着“一切”，信仰意味着“最”。人工智能中的逻辑学（第41-53页）：施普林格·Zbl 1361.68216号
[4] Bellin，G.，de Paiva，V.，Ritter，E.（2001）。基本构造模态逻辑的扩展Curry-Howard对应。在模态方法程序中。
[5] Bierman，总经理；de Paiva，V.，《关于直觉模态逻辑》，Studia Logica，65，3833-416（2000）·Zbl 0963.03033号 ·doi:10.1023/A:1005291931660
[6] Chellas，B.F.（1980）。模态逻辑：引言。剑桥大学出版社·Zbl 0431.03009号
[7] M.J.Collinson、B.P.Hilken、D.E.Rydeheard（1999）。直觉模态序列演算的语义和证明理论。曼彻斯特大学计算机科学系，技术报告系列。
[8] Dalmonte，T.、Olivetti，N.、Negri，S.（2018年）。非正规模态逻辑：双邻域语义及其标记计算。《AiML会议记录》第12页（第159-178页）·Zbl 1418.03075号
[9] 费尔特洛，M。；Mendler，M.，命题松弛逻辑，信息与计算，137，1，1-33（1997）·Zbl 0889.03015号 ·doi:10.1006/inco.1997.2627
[10] Fischer Servi，G.，《基于直觉主义基础的模态逻辑》，《逻辑研究》，第36、3、141-149页（1977年）·Zbl 0364.02015 ·doi:10.1007/BF202121259
[11] Fischer Servi，G.（1980年）。一类直觉模态计算的语义。意大利科学哲学研究（第59-72页）：斯普林格·Zbl 0452.03014号
[12] Fitch，FB，带量词的直觉主义模态逻辑，葡萄牙数学，7，2，113-118（1948）·Zbl 0034.15303号
[13] Gabbay，D.M.、Kurucz，A.、Wolter，F.、Zakharyaschev，M.（2003）。多维模态逻辑：理论与应用。《逻辑与数学基础研究》，第148卷：北荷兰出版公司·Zbl 1051.03001号
[14] Galmiche，D。；Salhi，Y.，直觉模态逻辑的树序列计算和决策程序，《逻辑与计算杂志》，28，5，967-989（2018）·Zbl 1444.03053号 ·doi:10.1093/log.com/exv039
[15] Galmiche，D。；Salhi，Y.，直觉主义和经典模态逻辑的无标签自然演绎系统，应用非经典逻辑杂志，20，4，373-421（2010）·Zbl 1242.03033号 ·doi:10.3166/1月20日，373-421
[16] 吉尔伯特博士；Maffezioli，P.，《经典模态逻辑的模块序列计算》，Studia Logica，103，1，175-217（2015）·Zbl 1382.03042号 ·doi:10.1007/s11225-014-9556-1
[17] Goldblatt，RI，Grothendieck拓扑作为几何形态，《数学逻辑季刊》，27，31-35，495-529（1981）·Zbl 0474.03018号 ·doi:10.1002/malq.19810273104
[18] Hansson，S.O.等人（2013年）。许可的种类。In Gabbay，D.（编辑）《道义逻辑和规范体系手册》（第195-240页）：学院出版物·Zbl 1367.03040号
[19] Heilala，S.和Pientka，B.（2007年）。直觉命题模态逻辑IS4的双向决策过程。在CADE会议记录中·Zbl 1213.03029号
[20] Iemhoff，R.（2019）。一致插值和连续计算的存在性。纯粹逻辑与应用逻辑年鉴·Zbl 1475.03078号
[21] Indrzejczak，A.，单调模态逻辑的序列演算，逻辑部分公报，34，3511-164（2005）·Zbl 1117.03022号
[22] Indrzejczak，A.，切入同余模态逻辑的可容许性，逻辑与逻辑哲学，20，3，189-203（2011）·Zbl 1248.03076号
[23] Kojima，K.，《直觉模态逻辑的关系和邻域语义》，《数学逻辑报告》，4787-113（2012）·Zbl 1320.03054号
[24] 拉文德霍姆，R。；Lucas，T.，弱模态系统的序贯计算和决策程序，Studia Logica，66，121-145（2000）·Zbl 0968.03023号 ·doi:10.1023/A：1026753129680
[25] Lellmann，B。；Pimentel，E.，正常和非正常模式的顺序计算模块化，ACM计算逻辑事务（TOCL），20，2，7（2019）·Zbl 1433.03131号 ·数字对象标识代码：10.1145/3288757
[26] Negri，S.，《非正规模态逻辑的证明理论：邻域形式主义和基本结果》，《IfColog逻辑学及其应用杂志》，4，1241-1286（2017）
[27] Orlandelli，E.（2019年）。非正规逻辑的序贯计算和插值。arXiv:1903.11342年。
[28] Marin，S.和Straßburger，L.（2014）。经典和直觉模态逻辑的无标签模块化系统。AiML 10会议记录·Zbl 1385.03023号
[29] McNamara，P.（2006）。道义逻辑。《逻辑史手册》（第7卷，197-288页）：爱思唯尔出版社·Zbl 1135.03301号
[30] Mendler，M.和de Paiva，V.（2005）。上下文的构造性CK。在CONTEXT05会议记录中。斯坦福大学。
[31] Mendler，M。；Scheele，S.，多模CK的无割Gentzen演算，信息与计算，209，12，1465-1490（2011）·Zbl 1248.03036号 ·doi:10.1016/j.ic.2011.10.003
[32] 蒙塔古，R.，《普遍语法，理论》，36，3，373-398（1970）·Zbl 0243.0202号 ·doi:10.1111/j.1755-2567.1970.tb00434.x
[33] Pacuit，E.（2017年）。模态逻辑的邻域语义。斯普林格·Zbl 1390.03001号
[34] Scott，D.（1970年）。模态逻辑中的建议。兰伯特，K（编辑）《逻辑中的哲学问题》（第143-173页）：D.Reidel出版公司·Zbl 0295.02013.中
[35] 辛普森，A.K.（1994）。直觉模态逻辑的证明理论和语义。爱丁堡大学信息学院博士论文。
[36] Straßburger，L.（2013）。直觉模态逻辑嵌套序列中的割消。在软件科学和计算结构基础国际会议上（第209-224页）：Springer·Zbl 1260.03106号
[37] 斯图尔特，C。；德佩瓦，V。；Alechina，N.，《直觉主义模态逻辑：15年回顾》，《逻辑与计算杂志》，28，5，873-882（2018）·Zbl 1454.03011号 ·doi:10.1093/log.com/exv042
[38] Troelstra，A.S.和Schwichtenberg，H.（2000）。基本证明理论。剑桥大学出版社·Zbl 0957.03053号
[39] Wijesekera，D.，《构造模态逻辑I》，《纯粹与应用逻辑年鉴》，第50期，第271-301页（1990年）·Zbl 0714.03016号 ·doi:10.1016/0168-0072（90）90059-B
[40] Wijesekera，D。；Nerode，A.，Tableaux for constructive concurrent dynamic logic，《纯粹与应用逻辑年鉴》，135，1-3，1-72（2005）·兹比尔1094.03021 ·doi:10.1016/j.apal.0412.001
[41] Witchzak，T.（2018）。基于直觉核的弱模态逻辑的简单示例。arXiv:1806.09443。
[42] Wolter，F.和Zakharyaschev，M.（1999）。直觉主义模态逻辑。《逻辑与数学基础》（第227-238页）：施普林格·Zbl 0955.03029号
[43] 冯·赖特，G.H.（1963）。规范与行动：一种逻辑探究。劳特利奇。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。