非良基集合论相关硕士博士期刊学术论文 - 搜论网

非良基集合论相关论文

基于互模拟的模态逻辑与非良基集合论之间的关系

首先介绍模态逻辑的两种语义：克里普克模型和非良基集合模型,表明这两种语义的相互可推演性,证明非良基模型,描述互模拟等价的克里......

期刊

互模拟模态逻辑非良基集合论克里普克模型模态等价 Bisimulation Modal Logic Non-founded Set Kripke M

看过本文同时还关注