拟翻译为：代数模态逻辑的强完备性
摘要：关于在模态逻辑中的经典模型的重要性没有讨论，尤其是因为它证明了强完备性和紧致性。尽管对于Kripke语义，经典模型的构建已经得到了很好的理解，但非正规模态逻辑通常会出现一些微妙的难题，甚至经典模型可能不存在，例如在大多数概率逻辑中。本文在余代数模态逻辑的语义框架下提出了一个通用的经典模型构建方法，该方法明确了模态逻辑的句法和语义之间的一致性条件，在此条件下可以保证强完备性。我们将这种方法应用于已知的或者是神话的经典模型定理的重建，并且实例化我们的方法以获得新的强完备性结果。特别地，我们证明了具有有限重复次数的分级模态逻辑和精确概率模态逻辑的强完备性。
作者：Lutz Schr"oder, Dirk Pattinson
论文ID：0902.2072
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2009-02-13