克里普克,S.A。 模态逻辑的语义考虑。 (英语) Zbl 0131.00602号 菲洛斯女演员。芬恩。 16, 83-94 (1963). 页码:24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描页面 引用于4评论引用于185文件 关键词:数学逻辑 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Kripke},《哲学学报》。芬恩。16、83——94(1963年;Zbl 0131.00602)