徐明 关于单代理stit的基本逻辑。 （英语） Zbl 0827.03003号 J.塞姆。日志。 60，第2期，459-483（1995）. 在N.贝尔纳普和M.珀洛夫的代理模态逻辑，即stit（“注意它”）理论中，一个重要的问题是克制/克制猜想：做等同于克制不做。如果语义结构不包含“忙选择序列”（有限时间内代理的无限多选择序列），则此推测适用于语义结构，请参见N.贝尔纳普，“代理的模态逻辑中的前后”，《哲学与现象学研究》51，777-807（1991）]。众所周知，该猜想在某些具有繁忙选择序列的结构中失败。本文中，作者提出了一个具有单个主体的stit公理系统L_0，并证明了该公理系统的合理性和（使用他早期论文“具有单个主体stit理论的可判定性和refref等价性”[Stud.Logica 53，259-298（1994；Zbl 0802.03007号)])完整性\（L_0）缺少有限模型属性：Refref不是（L_0\）的定理。审核人：J.Mackenzie（悉尼） 引用于1审查引用于6文件 MSC公司： 03A05号 逻辑和基础的哲学和批判性方面 03B60号 其他非经典逻辑 03B45号 模态逻辑（包括规范逻辑） 关键词：stit理论；代理的模态逻辑；正在做；克制；配套设备 引文：Zbl 0802.03007号 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}，J.Symb。日志。60，第2号，459--483（1995；Zbl 0827.03003） 全文： 内政部 参考文献： [1] Studia Logica公司·Zbl 1182.03062号 [2] 另一种stit算子（1989） [3] 文件编号：10.1007/BF01028972·Zbl 0788.0302号 ·doi:10.1007/BF01028972 [4] DOI:10.1007/BF01531260·Zbl 0866.03009号 ·doi:10.1007/BF01531260 [5] 内政部：10.1007/BF01028971·Zbl 0789.03023号 ·文件编号：10.1007/BF01028971 [6] 理论54 pp 175–（1988） [7] 礼仪、道德和信仰第174页–（1995） [8] 内政部：10.1007/BF00385718·doi:10.1007/BF00385718 [9] 内政部：10.2307/2108182·doi:10.2307/2108182 [10] 数学与人工智能年鉴9 pp 1–（1993）·Zbl 0866.03010号 ·doi:10.1007/BF01531259 [11] 时间逻辑，第一届国际会议，1994年国际刑事法庭，德国波恩，1994年7月，会议记录第332页–（1994） [12] DOI:10.1007/BF01052780·Zbl 0813.03004号 ·doi:10.1007/BF01052780 [13] 内政部：10.1007/BF01054713·兹比尔0802.03007 ·doi:10.1007/BF01054713 [14] Erkentnis 24第253页–（1986）·doi:10.1007/BF00205016 [15] Theoria 36 pp 264–（1970） [16] 内政部：10.1007/BF01028968·Zbl 0786.03003号 ·doi:10.1007/BF01028968 [17] 过去、现在和未来（1967）·Zbl 0169.29802号 [18] 内政部：10.1007/BF00485267·doi:10.1007/BF00485267 [19] 哲学逻辑杂志 [20] 祈使句的逻辑形式（1969） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。