×
谢赫特曼，V.B。

实平面上域的模态逻辑。 （英文） Zbl 0541.03011号

螺柱日志。 42, 63-80 (1983).
在本文中，作者讨论了二维Minkowski时空中从域的时间顺序中出现的模态逻辑R.戈德布拉特[同上，39、219-236（1980年；Zbl 0457.03019号)]即“平面”时间的模态逻辑。对于每一个\（X\子结构{\mathbb{R}}^2 \），模态逻辑ML（X）被关联，它被确定为框架\（（X，R\cap（X\乘以X））中有效的所有模态公式的集合，其中R是Minkowski时空中的时序。考虑闭或开凸多边形以及由简单可微曲线限定的闭或开域；这导致逻辑S4、S4.1、S4.2或S4.1.2。
审核人：S.三浦

引用于1审查
引用于11文件

MSC公司：

03B45号 模态逻辑（包括规范逻辑）
83A05号 狭义相对论

关键词：

克里普克语义学;模态逻辑;二维Minkowski时空中区域的时序;多边形;由简单可微曲线限定的域

引文：

Zbl 0457.03019号
PDF格式BibTeX公司 XML格式引用
\textit{V.B.Shekhtman}，研究日志。42、63-80（1983年；Zbl 0541.03011）
全文： 内政部

参考文献：

[1] J.P.Burgess，分支时间的可判定性，Studia Logica 39（1980），第203-218页·Zbl 0467.03006号 ·doi:10.1007/BF00370320
[2] ?. ?. ????????,妈妈？？阿穆？？？？你？？米？你？你？？你？？？？rt；？？你？？？？你？？？a？是？？？？米？，嘲弄？a、 1979年。
[3] K.Fine，包含S4.3的逻辑，Zeitschrift f？r mathematische Logik und Grundlagen der Mathematik 17（1971），第371-376页·Zbl 0228.02011 ·doi:10.1002/malq.19710170141
[4] K.Fine，《包含K 4的逻辑学》，《符号逻辑杂志》39（1974），第31-43页·Zbl 0287.02010 ·doi:10.2307/2272340
[5] K.Fine，《S4逻辑上升链》，《理论40》（1974年），第110-116页·兹比尔0307.02013 ·doi:10.1111/j.1755-2567.1974.tb00081.x
[6] K.Fine，《包含S 4的不完全逻辑》，《理论40》（1974年），第23-29页·Zbl 0287.02011号 ·doi:10.1111/j.1755-2567.1974.tb00076.x
[7] D.Gabbay，模态逻辑的一般过滤方法，《哲学逻辑杂志》1（1972），第29-34页·Zbl 0248.02025号 ·doi:10.1007/BF00649988
[8] D.Gabbay，时间离散时刻的时态系统，《哲学逻辑杂志》1（1972），第35-44页·Zbl 0245.02031号 ·doi:10.1007/BF00649989
[9] R.Goldblatt，闵可夫斯基时空中的Diodorean模态，Studia Logica 39（1980），第41-61页·Zbl 0457.03019号 ·doi:10.1007/BF00370321
[10] G.E.Hughes，《全时逻辑和节点时间》，《数理逻辑报告》，第8期（1977年），第41-61页·Zbl 0396.03018号
[11] ?. ?. ???????, ?. ?. ??????,? ??????? ???你？？？你？你？？没有？？你？m？你？你？？你？米？？你？？？你？？？？？？rt；？AH CCCP 195（1970），约1263-1266。
[12] J.C.C.McKinsey，A.Tarski，《拓扑代数》，《数学年鉴》，44（1945），第141-191页·Zbl 0060.06206号
[13] O.Ore，《图论》，普罗维登斯，1962年·Zbl 0105.35401号
[14] K.Segerberg，《线性替代关系的模态逻辑》，《理论36》（1970年），第301-322页·Zbl 0235.02019 ·doi:10.1111/j.1755-2567.1970.tb00429.x
[15] K.Segerberg，S4.1的可判定性，Theoria 34（1968），第7-20页·doi:10.1111/j.1755-2567.1968.tb00335.x
[16] K.Segerberg，《经典模态逻辑论文》，v.1-3，Filosofiska Studier，乌普萨拉，1971年·Zbl 0311.02028号
[17] K.Segerberg，《二维模态逻辑》，《哲学逻辑杂志》第2期（1973年），第77-96页·Zbl 0259.02013 ·doi:10.1007/BF02115610
[18] ?. ? ???????,? ????我？？？？你？？？你？？？rt；？？d？？？你？u S4，输入：IV？？？？？？？？？你？没有？？米？？？亩、亩、？？？？？？？，1976年，约159年。
[19] ?. ?.???????, ????????? 米？？rt？？？你？u、 ，？？米？？？穆？？？？你？？？？米？u、 23，（1978），约759-772。
[20] ?. ?. ???????,????????你？？没有？？你？米？？你？？你？我？？？？你？？你？？？？你？？？？？？？？？？你？？？？？？rt；？AH CCCP，240（1978），约549-552。
[21] ?. ?. ???????,???????? ??????你？？？穆u？你？嗯？nn？？？？你？？？？？嗯？？？？你？？没有？？你？米？你？你？？你？？？？你？？？u？，包含：VII？你？没有？？你？？没有？？？你？？你？？米？？rt；？？？？呃？？？？u、 ？？？？，1976年，约143-245年。
[22] ?. ?. ???????,? ????????????? ??没有？？你？m？你？你？？你？米？？你？？？？你？？？？？亩？AH CCCP，41（1977），约963-986年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。