{"id":"arxiv/2609.04508","url":"https://arxiv.org/abs/2609.04508","tags":["math.LO"],"score":0,"title":"Uncountably many maximally consistent neighborhood complete congruential modal logics","domain":"math.LO","source":"arxiv","authors":["Zalán Gyenis","Krzysztof Krawczyk"],"reviews":0,"subject":"math.LO","summary":"We solve an open problem posed by Peter Fritz in \\cite{Fritz} by proving that there are uncountably many C-Post complete congruential modal logics which are neighborhood complete. The method is algebraic: we construct an uncountable sequence of varieties of modal algebras which are minimal in the lattice of all subvarieties of modal algebras and are generated by a single complete and atomic modal algebra.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-03","reactions":{}}