迈克尔·菲舍尔。;理查德·雷德纳(Richard E.Ladner)。 正则程序的命题动态逻辑。 (英语) Zbl 0408.03014号 J.计算。系统。科学。 18, 194-211 (1979). 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于13评论引用于273文件 MSC公司: 03B45号 模态逻辑(包括规范逻辑) 68问题65 抽象数据类型;代数规范 68号01 软件理论的一般主题 03B60号 其他非经典逻辑 68瓦99 计算机科学中的算法 2005年第68季度 计算模型(图灵机等)(MSC2010) 03日第10天 图灵机及其相关概念 关键词:正则程序的命题动态逻辑;图灵机器;语义学;简单的单带图灵机;正则表达式的等价性;命题模态逻辑 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Fischer}和\textit{R.E.Ladner},J.Compute。系统。科学。18、194--211(1979;Zbl 0408.03014) 全文: 内政部 参考文献: [1] 亚伯拉罕森,K。;Fischer,M.J.,《布尔变量在自动机理论和动态逻辑中的应用》(技术报告78-08-02(1978),华盛顿大学) [2] 伯曼,F。;Paterson,M.S.,《无测试命题动态逻辑比PDL更弱》,技术报告TR 77-10-02(1977) [3] Chandra,A.K。;Stockmeyer,L.J.,Alternation,(第17届IEEE计算机科学基础研讨会(1976)),98-108 [4] Constable,R.L.,《程序逻辑理论》,(第九届ACM计算理论研讨会(1977)),269-285 [5] Dijkstra,E.W.,《保护命令、程序的不确定性和形式推导》,美国通信协会18,8,453-457(1975)·Zbl 0308.68017号 [6] Greibach,S.A.,《程序结构理论:方案、语义、验证》(计算机科学讲义第36期(1975年),Springer-Verlag:Springer-Verlag纽约/柏林)·Zbl 0345.68002号 [7] Harel,D.,(MIT/LCS/TR200(1978)技术报告),可用作·Zbl 0589.68030号 [8] Harel,D。;Meyer,A.R。;Pratt,V.R.,《程序逻辑中的可计算性和完整性:初步报告》,(第九届ACM计算理论研讨会(1977)),261-268 [9] Harel,D。;Pratt,V.R.,《程序逻辑中的非确定性》(第五届ACM程序设计语言原理研讨会(1978年)) [10] Hoare,C.A.R.,《计算机编程的公理基础》,《通信ACM 12,10,583》(1969)·Zbl 0179.23105号 [11] 霍尔,C.A.R。;Lauer,P.,《程序设计语言语义的一致性和互补性形式理论》,Acta Inform。3, 2, 135-153 (1974) ·Zbl 0264.68006号 [12] Kozen,D.,《关于图灵机中的并行性》,(第17届IEEE计算机科学基础研讨会(1976)),89-97 [13] Kreczmar,A.,算法逻辑的有效性问题,(Loeckx,J.,自动化,语言与编程,第二次学术讨论会,萨尔布吕肯大学。自动化,语言和编程,萨尔布吕肯大学第二次研讨会,计算机科学第14号讲稿(1974年7月29日至8月2日),Springer-Verlag:Springer-Verlag Berlin/纽约)·Zbl 0294.68017号 [14] Kripke,S.A.,模态逻辑的语义分析I:正规模态命题演算,Z.数学。Logik Grundlagen数学。,9, 67-96 (1963) ·Zbl 0118.01305号 [15] Kröger,F.,关于程序的自然推理的逻辑规则,(Michaelson,S.;Milner,R.,《自动化,语言和编程》(1976),爱丁堡大学出版社:爱丁堡学院出版社),87-98·Zbl 0362.68038号 [16] Ladner,R.E.,模态命题逻辑系统中可证明性的计算复杂性,SIAM J.Comput。6, 3, 467-480 (1977) ·Zbl 0373.02025号 [17] 迈耶,A.R。;Stockmeyer,L.J.,需要指数时间的单词问题,(第五届ACM计算理论研讨会(1973)),1-9·Zbl 0359.68050号 [18] Parikh,R.,PDL的完整性结果,(计算机科学数学基础研讨会。计算机科学数学基础研讨会,华沙扎科帕内(1978年9月))·Zbl 0188.02102号 [19] Pratt,V.R.,《Floyd-Hoare逻辑的语义考虑》(第17届IEEE计算机科学基础研讨会(1976)),109-121 [20] Pratt,V.R.,命题动态逻辑的实用决策方法,(第十届ACM计算理论研讨会(1978)),326-337·Zbl 1283.03066号 [21] Saltvicki,A.,形式化算法语言,Bull。阿卡德。波隆。科学。先生。科学。数学。天文学。物理。,18, 227-232 (1970) ·Zbl 0198.02801号 [22] Segerberg,K.,程序模态逻辑中的完备性定理,Notices Amer。数学。Soc.24,6,A-552(1977年) 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。