亚辛，A.L。 直觉主义逻辑及其解释的扩展。 （俄语） Zbl 0481.03036号 《集合论与拓扑学》，Interuniv第一期。工作收集。，伊热夫斯克1977，110-112（1977）。MSC公司：03楼55 03B45号 PDF格式BibTeX公司 XML格式
克劳斯·伯恩哈特 Abschließbarkeit von Kripke-Semantiken。 （德语） Zbl 0423.03040号 威斯。洪堡大学柏林分校数学系-自然科学。赖厄 26, 615-622 (1977).MSC公司：03C80号 03C99号 03E55型 PDF格式BibTeX公司 XML格式引用 \威斯康星州textit{K.Bernhardt}。洪堡大学柏林分校数学系-自然。R.26，615--622（1977；Zbl 0423.03040）
谢赫特曼，V.B。 关于不完全命题逻辑。 （英语。俄文原件） Zbl 0412.03011号 苏联。数学。，多克。 18, 985-989 (1977); Dokl翻译。阿卡德。Nauk SSSR 235，542-545（1977）。 审核人：河内筑户（野田佳彦/千叶） MSC公司：03B55号 03B99号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{V.B.Shekhtman}，苏联。数学。，多克。18、985--989（1977年；Zbl 0412.03011）；Dokl翻译。阿卡德。诺克SSSR 235，542--545（1977）
理查德·劳特利 将弱严格模态逻辑的语义焊接到模态逻辑语义的一般框架中。 （英语） Zbl 0412.03004号 Z.数学。Logik Grundlagen数学。 23, 497-510 (1977).MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.Routley}，Z.数学。Logik Grundlagen数学。23、497--510（1977年；Zbl 0412.03004） 全文： 内政部
佐藤正彦 用Gentzen的序列方法研究某些模态逻辑的Kripke型模型。 （英语） Zbl 0405.03013号 出版物。Res.Inst.数学。科学。，京都大学。 13, 381-468 (1977).MSC公司：03B45号 03C90号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Sato}，出版物。Res.Inst.数学。科学。13、381--468（1977年；Zbl 0405.03013） 全文： 内政部