论文标题
关于未知真理和虚假信念逻辑的邻里语义的注释
Notes on neighborhood semantics for logics of unknown truths and false beliefs
论文作者
论文摘要
在本文中，我们研究了邻里语义下的未知真理和虚假信念的逻辑。我们比较了两种逻辑的相对表现力。事实证明，它们在各个类别的邻里模型上都是无与伦比的，并且两种逻辑的组合在任何类别的邻里模型上同样表现力作为标准模态逻辑。我们提出了每种逻辑的形态，这可以帮助我们探索框架可确定性问题，显示出一般的健全性和完整性结果，并将某些结果推广到文献中。我们将两种逻辑在各个类别的邻里框架上进行公理化。最后但并非最不重要的一点是，我们将结果扩展到公开公告的情况，该公告对摩尔句子和其他一些句子有很好的申请。
In this article, we study logics of unknown truths and false beliefs under neighborhood semantics. We compare the relative expressivity of the two logics. It turns out that they are incomparable over various classes of neighborhood models, and the combination of the two logics are equally expressive as standard modal logic over any class of neighborhood models. We propose morphisms for each logic, which can help us explore the frame definability problem, show a general soundness and completeness result, and generalize some results in the literature. We axiomatize the two logics over various classes of neighborhood frames. Last but not least, we extend the results to the case of public announcements, which has good applications to Moore sentences and some others.
