关于有限高度克里普克框架的划分

本文证明了一类模态逻辑的有限模型性质和可判定性。若对于某个 $m\geq 0$ 有 $R^*=\cup_{i\leq m} R^i$，其中 $R^*$ 是 $R$ 的传递自反闭包，则称二元关系 $R$ 为预传递的。此处 $(W,R)$ 的高度是指预序 $(W,R^*)$ 的高度。文中描述了针对有限高度预传递框架的特殊划分（滤子），由此推出这些框架的逻辑具有有限模型性质和可判定性。