谢赫特曼，V.B。 关于不完全命题逻辑。 （英语。俄文原件） Zbl 0412.03011号 苏联。数学。，多克。 18, 985-989 (1977); 翻译自Dokl。阿卡德。Nauk SSSR 235，542-545（1977）。 自1974年以来，克里普克的模态逻辑语义的不完整性就已为人所知。本文在模态逻辑和中间命题逻辑领域。审核人：河内筑户（野田佳彦/千叶） 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3个 +4 +5 显示扫描页面 引用于13文件 MSC公司： 03B55号 中间逻辑 03B99 一般逻辑 03B45号 模态逻辑（包括规范逻辑） 关键词：中间逻辑；模态逻辑；克里普克语义的不完全性 PDF格式BibTeX公司 XML格式引用 \textit{V.B.Shekhtman}，苏联。数学。，多克。18、985--989（1977年；Zbl 0412.03011）；翻译自Dokl。阿卡德。诺克SSSR 235，542--545（1977）