模态逻辑模型的嵌入定理，本文主要内容关键词为：定理论文,逻辑论文,模型论文,模态论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。
摘要：本文Henkin的嵌入定理从经典逻辑推广到模态逻辑，并用超积方法证明该定理。
关键词：模态逻辑，厝态结构，原同态，单同态，嵌入，子结构，主成子结构。
在本文中模态一阶语言及其结构，模态一阶理论及其模型的基本概念以及文中所用符号均同于文献〔1〕。
本文来源: https://www.lw33.cn/article/419448cd9c9281bd3f66f144.html