×

忙碌的选择序列避免公式和模式。 (英语) 兹比尔0824.03008

如果人们认为stit理论中的运算符“stit”[参见N.贝尔纳普M.珀洛夫“注意:施事的规范形式”,载于H.E.Kyburg jun.、R.P.Loui和G.N.Carlson(编辑),《知识表示和可否认推理》,169-190(1990;Zbl 0743.68024号)]作为模态算子,我们可能会问有多少不同的模态。答案取决于模型中允许的繁忙选择序列(在有限时间内做出无限多个非真空选择的序列)的复杂性。本文定义了忙选择序列链上的复杂度,进而定义了模型上的复杂程度,并证明了对于所有(n→geq 0),如果这些模型是那些复杂度为(leq n)的模型,那么确实存在(4n+10)个不同的模态,每个模态的长度为(leqn+2)。

MSC公司:

03B45号 模态逻辑(包括规范逻辑)
03A05号 逻辑和基础的哲学和批判性方面
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 北卡罗来纳州贝尔纳普,1989年,252份讲义,1989年。匹兹堡大学哲学系未出版手稿。
[2] 北卡罗来纳州贝尔纳普,1991年?代理的模态逻辑中的前后?哲学和现象学研究51,777-807·doi:10.2307/2108182
[3] 北卡罗来纳州贝尔纳普,1991a?在克制之前:代理的概念?,埃尔肯尼斯34137-169·doi:10.1007/BF00385718
[4] 贝尔纳普,N.和佩洛夫,M.,1988年?注意:代词的标准形式?理论54,175-199·doi:10.1111/j.1755-2567.1988.tb00717.x
[5] 贝尔纳普,N.和佩洛夫,M.,1992年?代理人的方式?,Studia Logica逻辑研究51,463-484·Zbl 0789.03023号 ·doi:10.1007/BF01028971
[6] 贝尔纳普,N.和佩洛夫,M.,1993年?在代理领域?,《数学与人工智能年鉴》9,25-48·Zbl 0866.03009号 ·doi:10.1007/BF01531260
[7] Chellas,B.F.,1992年?代理逻辑中的时间和形式?,Studia Logica逻辑研究51,485-517·Zbl 0788.0302号 ·doi:10.1007/BF01028972
[8] M.Dummett和E.J.Lemmon,1959年?S4和S5之间的模态逻辑?,Zeitschrift f?r Mathematische Logik und Grundlagen der Mathematik数学逻辑5,250-264·Zbl 0178.30801号 ·doi:10.1002/毫克19590051405
[9] W.T.帕里,1939年?严格含义调查系统中的模式?,符号逻辑杂志4,137-154·Zbl 0023.09902号 ·doi:10.2307/2268714
[10] Perloff,M.,1991年?Stit和代理语言?,合成86,379-408·doi:10.1007/BF00485267
[11] Segerberg,K.,1992年?开始:行动逻辑的开始?,Studia Logica逻辑研究51,347-378·Zbl 0786.03003号 ·doi:10.1007/BF01028968
[12] Thomason,R.H.,1984年?时态和情态的结合?,《哲学逻辑手册》,第二卷,D.Gabbay和G.Guenthner(编辑),D.Reidel出版公司,135-165·Zbl 0875.03047号
[13] 徐,M.,1989年?模态在没有Refref猜想的情况下建立理论?。未出版手稿,匹兹堡大学哲学系。
[14] Xu,M.,1994年?做什么和不做什么?,哲学逻辑杂志23 621-632·Zbl 0813.03004号 ·doi:10.1007/BF01052780
[15] 徐,M.,1994a?单智能体状态理论的可判定性和Refref等价?,Studia Logica逻辑研究53,259-298·Zbl 0802.03007号 ·doi:10.1007/BF01054713
[16] 徐先生?关于具有单个代理的状态的基本逻辑?,符号逻辑杂志,即将出版。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。