有限高度准则在局部可表逻辑中的推广
逻辑
2026-03-24 v2
摘要
众所周知，对传递单模逻辑而言，有限高度既是局部可表性的必要条件也是充分条件。另一方面，对中间逻辑而言，有限高度是局部可表性的充分条件（但非必要条件）。对于非传递单模逻辑以及多模逻辑，有限高度是局部可表性的必要条件（但非充分条件）。本文讨论了非传递和多模逻辑族中局部可表性有限高度准则的推广。随后我们讨论了模态逻辑的有限模态深度属性，并给出该属性的有限高度准则版本。
引用
@article{arxiv.2509.17612,
title = {Generalizations of The Finite Height Criterion for Local Tabularity},
author = {Ilya B. Shapirovsky},
journal= {arXiv preprint arXiv:2509.17612},
year = {2026}
}