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

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