论文标题
有限的achronal宽度的功率和模态逻辑的典范
Canonicity in power and modal logics of finite achronal width
论文作者
论文摘要
我们开发了一种方法来表明在其次数生成的规范kripke框架中有效的各种模态逻辑也必须在其无数生成的镜头中有效。这适用于许多系统，包括有限宽度的逻辑，以及此处介绍的“有限的achronal宽度”的更广泛的多模式逻辑。
We develop a method for showing that various modal logics that are valid in their countably generated canonical Kripke frames must also be valid in their uncountably generated ones. This is applied to many systems, including the logics of finite width, and a broader class of multimodal logics of `finite achronal width' that are introduced here.
