莫德凯·本·阿里;约瑟夫·霍尔珀（Joseph Y.Halpern）。;阿米尔·普努利 确定性命题动态逻辑：有限模型、复杂性和完整性。 （英语） Zbl 0512.03013号 J.计算。系统。科学。 25, 402-417 (1982). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于16文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 68问题65 抽象数据类型；代数规范 关键词：模态运算符;可及性关系;确定性命题动态逻辑;原子程序;决策程序;PDL的Segerberg公理;语义完整的 PDF格式BibTeX公司 XML格式引用 \textit{M.Ben-Ari}等人，《计算杂志》。系统。科学。25402--417（1982；Zbl 0512.03013） 全文： 内政部 参考文献： [1] 费舍尔，M.J。；Ladner，R.E.，《程序的命题模态逻辑》，J.Compute。系统科学。，18，194-211（1979），重新修订的版本显示为正则程序的命题动态逻辑·Zbl 0408.03014号 [2] Kozen，D。；Parikh，R.，PDL完备性的基本证明，Theoret。计算。科学。，14, 1, 113-118 (1981) ·Zbl 0451.03006号 [3] Parikh，R.，二阶过程逻辑的可判定性结果，（麻省理工学院/LCS/TM-112技术报告（1978），麻省理工学院出版社：麻省理工学院出版社，马萨诸塞州剑桥） [4] Parikh，R.，《程序的命题逻辑：系统、模型和复杂性》，（第七届美国计算机学会编程语言原理研讨会（1980）），186-192年 [5] Pratt，V.R.，Floyd-Hoare逻辑的语义考虑，（第17届IEEE计算机科学基础研讨会（1976）），109-121 [6] Pratt，V.R.，《行为推理的近似最优方法》，J.Compute。系统科学。，20，231-254（1980），修订版显示为·Zbl 0424.03010号 [7] Pratt，V.R.，程序逻辑模型，（第20届IEEE计算机科学基础研讨会（1979）），115-122 [8] Segerberg，K.，《程序模态逻辑中的一个完备性定理》，《初步报告》，Notices Amer。数学。Soc.，24，A552（1977年） [9] Valiev，M.K.，《论确定性命题动态逻辑的公理化》（计算机科学数学基础研讨会（1979）），482-491·Zbl 0433.68032号 [10] Valiev，M.K.，命题动态逻辑变体的决策复杂性，（计算机科学数学基础研讨会（1980）），656-664·Zbl 0451.03003号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。