论文标题
逻辑的完整性，具有传递封闭方式和相关逻辑
Completeness of logics with the transitive closure modality and related logics
论文作者
论文摘要
我们提供了足够的条件，可以使模态逻辑的完整性丰富，并具有传递的闭合模态。更确切地说，我们表明，如果逻辑允许我们称为定义过滤（ADF），那么逻辑的这种扩展就完成了。此外，还具有有限的模型属性，并且再次具有ADF。可以迭代这个参数，作为应用程序，我们获得了ADF逻辑的类似PDL样扩展的有限模型属性。
We give a sufficient condition for Kripke completeness of modal logics enriched with the transitive closure modality. More precisely, we show that if a logic admits what we call definable filtration (ADF), then such an expansion of the logic is complete; in addition, has the finite model property, and again ADF. This argument can be iterated, and as an application we obtain the finite model property for PDL-like expansions of logics that ADF.
