This paper investigates and develops generalizations of two-dimensional modal logics to any finite dimension. These logics are natural extensions of multidimensional systems known from the literature on logics for a priori knowledge. We prove a completeness theorem for propositional n-dimensional modal logics and show them to be decidable by means of a systematic tableau construction.

中文翻译：

---

序列框架的逻辑

本文研究并发展了二维模态逻辑对任何有限维的推广。这些逻辑是先验知识逻辑文献中已知的多维系统的自然扩展。我们证明了命题n维模态逻辑的完备性定理，并通过系统的表格构造证明它们是可判定的。