发表机构
Jagiellonian University（雅盖隆大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
该研究解决了Peter Fritz提出的开放问题，通过代数方法构造不可数极小模态代数簇，证明存在不可数多个C-Post完全且邻域完全的同态模态逻辑。
AI 中文摘要
我们解决了Peter Fritz在文献[Fritz]中提出的开放问题，证明存在不可数多个C-Post完全且邻域完全的同态模态逻辑。方法是代数性的：我们构造了一个不可数的模态代数簇序列，这些簇在所有模态代数的子簇格中是极小的，且由单个完全原子模态代数生成。
英文摘要
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.
