有穷模型性相关论文
本文研究了混合模态逻辑的有穷模型性问题,介绍了一种基于代数证明论的有穷模型性证明新方法,并用该方法证明了混合时态逻辑K4.t和......
Bellissima证明KAltn的正规扩张都是典范的,并且给出了一族连续统多的无有穷模型性的逻辑,本文构造出了KAltn的另一族连续统多的正......
在模型论语义下,一个公式是否具有有穷模型往往和可计算性相关。但是我们也可以仅仅从基数的角度来观察,譬如在一阶语言里,是什么......