2 papers
math.LO2024
Local tabularity in MS4 with Casari's axiom
Chase Meadors
We study local tabularity (local finiteness) in some extensions of (monadic ). Our main result is a semantic characterization of local finiteness in var…
math.LO2023
Local finiteness in varieties of MS4-algebras
Guram Bezhanishvili, Chase Meadors
It is a classic result of Segerberg and Maksimova that a variety of -algebras is locally finite iff it is of finite depth. Since the logic (monadic $\ma…