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

摘要

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