·2,447,543篇论文数据，部分数据来源于NoteExpress
From the example of the system KW, the paper shows that finite canonical model and filtration are two different ways to prove finite model property, but they have something in common on techniques.
通过KW系统说明有限典范模型与滤模型是证明系统有限模型性质的两种不同方法，但在技术上却有许多共性。
youdao
应用推荐
模块上移
模块下移
不移动