模态逻辑模型的嵌入定理_逻辑模型论文

模态逻辑模型的嵌入定理，本文主要内容关键词为：定理论文,逻辑论文,模型论文,模态论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。

摘要：本文Henkin的嵌入定理从经典逻辑推广到模态逻辑，并用超积方法证明该定理。

关键词：模态逻辑，厝态结构，原同态，单同态，嵌入，子结构，主成子结构。

在本文中模态一阶语言及其结构，模态一阶理论及其模型的基本概念以及文中所用符号均同于文献〔1〕。

标签：逻辑模型论文;  逻辑结构论文;