Hirokazu西村 连续模态模型理论中dedict的语义表征。 （英语） Zbl 0464.03021号 Z.数学。Logik Grundlagen数学。 27, 233-240 (1981). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描的页面 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 03B50号 多值逻辑 03C40号 插值、保存、可定义 关键词：连续模型理论;断定句;模态逻辑;保存定理;一阶模态模型理论;紧Hausdorff空间中的真值 引文：兹伯利0375.002008;Zbl 0149.004号 PDF格式BibTeX公司 XML格式引用 \textit{H.Nishimura}，Z.数学。Logik Grundlagen数学。27233-240（1981年；Zbl 0464.03021） 全文： 内政部