科研速览 · Science Skim继续刷下去 · Keep skimming →
◇ arXiv2026-09-03· math.LO

Uncountably many maximally consistent neighborhood complete congruential modal logics

Zalán Gyenis, Krzysztof Krawczyk

原始摘要(英文原文)· Original abstract
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.
读原文 · Read the paper ↗

AI 追问PRO

登录后使用 AI 追问

讨论区

登录后参与讨论

相关论文 · Related

Uncountably many maximally consistent neighborhood complete congruential modal logics — 科研速览 Science Skim