Sakalauskaitö，Jératö 三值模态命题逻辑的前缀表。 （英语） Zbl 0964.03019号 程序。美国东部时间。阿卡德。科学。，物理学。数学。 47，第3期，174-185（1998）. 摘要：给出了一些三值模态命题逻辑的前缀表系统。证明了这些表系统关于Kripke型语义的健全性和完备性定理。 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 03B50号 多值逻辑 关键词：tableau系统;Kripke类型语义;三值模态逻辑 PDF格式BibTeX公司 XML格式引用 \textit{J.Sakalauskait}，程序。美国东部时间。阿卡德。科学。，物理学。数学。47，第3号，174--185（1998；Zbl 0964.03019）