Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Meadors, Chase"'
Autor:
Meadors, Chase
We study local tabularity (local finiteness) in some extensions of $\mathsf{MS4}$ (monadic $\mathsf{S4}$) that include products of transitive modal logics. Our main results are a syntactic characterization of local finiteness in varieties of $\mathsf
Externí odkaz:
http://arxiv.org/abs/2412.01026
Autor:
Bezhanishvili, Guram, Meadors, Chase
It is a classic result of Segerberg and Maksimova that a variety of $\mathsf{S4}$-algebras is locally finite iff it is of finite depth. Since the logic $\mathsf{MS4}$ (monadic $\mathsf{S4}$) axiomatizes the one-variable fragment of $\mathsf{QS4}$ (pr
Externí odkaz:
http://arxiv.org/abs/2312.16754