正存在模态公式相关硕士博士期刊学术论文

首先基于模型上的模拟概念定义了模型上的双模拟概念,并给出双模拟模态不变性和模态等价性的定义。在此基础上,讨论了模态逻辑与双......