典型文献
逆良序集上多值框架的模态逻辑
文献摘要：
通过引入取值集合,将Kripke框架推广为多值框架.本文假设取值集Q为逆良序的集合,与之对应的模态语言在Q上的多值框架中得到解释.本文证明了某些Q-框架类的Goldblatt-Thomason定理.本文还引入了正规Q-模态逻辑,并证明了其完全性与Makinson定理.
文献关键词：
中图分类号：
作者姓名：
何凡
作者机构：
中山大学逻辑与认知研究所;中山大学哲学系
文献出处：
引用格式：
[1]何凡-.逆良序集上多值框架的模态逻辑)[J].逻辑学研究,2022(03):52-72
A类：
Kripke,Thomason,Makinson
B类：
良序,模态逻辑,广为,Goldblatt,正规,完全性
AB值：
0.309526
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
