模态逻辑中的Profiniteness, Monadicity和Universal Models
摘要：完全原子布尔代数的单子性启发了我们，我们证明了有限模态代数在集合上是单子的。通过分析单子函子，我们重新得到了通用模型构造——模态逻辑文献中广泛用于描述有限生成自由模态代数及其标准模型的基本有限子图的构造方法。
作者：Matteo De Berardinis and Silvio Ghilardi
论文ID：2305.04592
分类：Logic
分类简称：math.LO
提交时间：2023-05-09