徐明 忙碌的选择序列避免公式和模式。 (英语) 兹比尔0824.03008 螺柱日志。 54,第3期,267-301(1995). 如果人们认为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)。审核人:G.牧师(布里斯班) 引用于6文件 MSC公司: 03B45号 模态逻辑(包括规范逻辑) 03A05号 逻辑和基础的哲学和批判性方面 关键词:不同模式的数量;stit理论;模态算子;忙选择序列的复杂性 引文:Zbl 0743.68024号 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu},Stud.Log。54,第3号,267--301(1995;Zbl 0824.03008) 全文: 内政部 参考文献: [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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。