小岛贤介 直觉模态逻辑中哪个经典对应有效? (英语) Zbl 1260.03044号 日志。J.IGPL公司 20,编号1,331-348(2012). 模态逻辑考虑关系结构的属性,这些属性通常由模态逻辑的公理来表征。关系结构的属性和模态逻辑公理之间的这种联系被称为对应,并且在经典设置中得到了很好的研究。我们考虑的问题是这种对应关系的直观版本。特别地,本文考虑在经典设置中已知的对应结果的哪一部分对于直觉设置是正确的。我们首先定义公理的稳健性概念,这样公理是稳健性的当且仅当其在经典语义和直觉语义中的相应属性相同时。接下来,我们给出了一个语法定义的公理类,并证明了该类中的所有公理都是健壮的。这个结果与Sahlqvist的经典结果类似,其证明部分基于对其定理的已知证明。 引用于1文件 MSC公司: 03B45号 模态逻辑(包括规范逻辑) 关键词:直觉模态逻辑;克里普克语义学;双相关克里普克框架;对应理论;关系结构 PDF格式BibTeX公司 XML格式引用 \textit{K.Kojima},日志。J.IGPL 20,第1期,331--348(2012;Zbl 1260.03044) 全文: 内政部 链接