有限模型论相关论文
证明了模态逻辑中(L)os-Tarski定理的有限模型论版本仍然成立,即:在有限模型语义下,一个多元模态公式在模型扩张关系下保持当且仅......
证明了在多元模态逻辑中范本特姆—罗森定理仍然成立,即:无论在经典或有限模型论意义下,一个量词深度为n的一阶公式在多元互模拟关......
