■os-Tarski定理相关硕士博士期刊学术论文 - 搜论网

■os-Tarski定理相关论文

多元模态逻辑在有限模型语义下的■os-Tarski定理

证明了模态逻辑中Los-Tarski定理的有限模型论版本仍然成立，即：在有限模型语义下，一个多元模态公式在模型扩张关系下保持当且仅当它逻......

期刊

■os-Tarski定理多元模态逻辑有限模型论 Los-Tarski theorempolyadic modal logicfinite model the

看过本文同时还关注