有限非时序宽度幂逻辑与模态逻辑中的典型性
逻辑
2024-11-20 v1 计算机科学中的逻辑
摘要
我们发展了一种方法，用于证明在各种模态逻辑中，在其可数生成典型克里普克框架上有效的逻辑，也必在其不可数生成典型克里普克框架上有效。该方法被应用于许多系统，包括有限宽度逻辑，以及此处引入的更广义的“有限非时序宽度”多模态逻辑类。
引用
@article{arxiv.2207.12596,
title = {Canonicity in power and modal logics of finite achronal width},
author = {Robert Goldblatt and Ian Hodkinson},
journal= {arXiv preprint arXiv:2207.12596},
year = {2024}
}