克里斯特·塞格伯格 无穷命题模态逻辑中的模型存在定理。 （英语） Zbl 0811.03011号 J.菲洛斯。日志。 23，第4期，337-367（1994）. 作者推广了用模态算子证明逻辑完备性定理的方法，这些模态算子描述了语句\（\ varphi \）的集\（\｛\square^n \ varphi \ mid n \ in \ omega \｝\）的真值。有各种逻辑的应用：动态逻辑、许多人的知识逻辑等。审核人：A.V.查格罗夫（Tver'） 引用于11文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 关键词：模态逻辑;关系语义学;完备性定理;动态逻辑;知识逻辑 PDF格式BibTeX公司 XML格式引用 \textit{K.Segerberg}，J.Philos（费罗斯）。日志。23，第4337-367号（1994年；兹bl 0811.03011） 全文： 内政部 参考文献： [1] 很好，Kit？包含K4的逻辑。第一部分。？《符号逻辑杂志》39（1974），第31-42页·Zbl 0287.02010 ·doi:10.2307/2272340 [2] 罗伯特·戈德布拉特。计算机编程逻辑公理化。计算机科学讲义，第130卷。（柏林，海德堡，纽约：施普林格-弗拉格出版社，1982年）·Zbl 0474.68045号 [3] 罗伯特·戈德布拉特。时间和计算的逻辑。CSLI课堂讲稿，第7卷。（加利福尼亚州斯坦福：CSLI，1987）·兹伯利0635.03024 [4] 罗伯特·戈德布拉特？无限模态逻辑的框架。？1991年5月11日至12日在新西兰德文波特举行的Scroggs Society小型会议上发表的讲话。 [5] 大卫·哈雷。一阶动态逻辑。计算机科学讲义，第68卷。（柏林，海德堡，纽约：施普林格-弗拉格出版社，1979年）·Zbl 0403.03024号 [6] 刘易斯，大卫·K·公约：哲学研究。（马萨诸塞州剑桥：哈佛大学出版社，1969年）。 [7] 克里斯特·塞格伯格？冯·赖特的时态逻辑。？《乔治·亨里克·冯·赖特的哲学》，P.A.Schilpp和L.E.Hahn编辑，第603-635页。《活着的哲学家图书馆》，第19卷，（伊利诺伊州拉萨尔：公开法庭，1989年）。（写于1974年。） [8] 克里斯特·塞格伯格？程序模态逻辑中的完备性定理。？《通用代数与应用》，T.Traczyk编辑，第31-46页。（华沙：PWN，1982）·Zbl 0546.03011号 [9] 戈兰·桑德霍姆？无限时态逻辑的完备性证明。？Theoria 43（1977），第47-51页·Zbl 0364.02011 ·doi:10.1111/j.1755-2567.1977.tb00778.x 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。