摘要

正常模态系统S公司4.2是认识逻辑中的一个有用工具:它被提倡为“对的Lenzen(1979,埃尔肯特尼斯,14,33–56)和Stalnaker(2006,菲洛斯。螺柱.,128,169–199),它被声明为正当的真实信仰Voorbraak(1993年,博士论文)。戈德布拉特(1980,螺柱Logica,39,219–236)已经证明S公司4.2相对论时空的时间逻辑尤其是它是狄奥多利亚式当时间被建模时|$\mathbb{T}^{4}$|四维闵可夫斯基几何构成了爱因斯坦狭义相对论的基础。最近,J.D.Hamkins和B.Löwe(2008年,事务处理。美国数学。Soc公司.,360,1793–1817)S公司4.2在集合论的元数学中,特别是在研究保罗·科恩的方法强制:S公司4.2正是强制模态逻辑,有效原则的集合|$\Box\varphi美元$|解释为“|美元\varphi$|在每个强制扩展中都为true。在本调查文件中,我们提供了一个导游S公司4.2侧重于其认知解释和模型理论特征。我们简要回顾了Lenzen(1979,埃尔肯特尼斯,14,33–56)和Stalnaker(2006,菲洛斯。螺柱.,128,169–199),并对S公司4.2模型。我们调查以下对象的框架完整性结果S公司4.2给出了一个新的简单证明,证明了它是由带有最终簇的部分预序类决定的。途中,我们快速了解了此模态系统的其他语义。我们的目标是为对模态逻辑的基本事实感兴趣的研究人员提供有用的指南S公司4.2.

本文根据牛津大学出版社标准期刊出版模式的条款出版和发行(https://academy.oup.com/journals/pages/about_us/legal/notices)有关权限,请发送电子邮件至:日记。permissions@oup.com
您当前没有访问此文章的权限。