关于未知真理与错误信念逻辑邻域语义的注记

在本文中，我们研究邻域语义下的未知真理逻辑与错误信念逻辑。我们比较了这两种逻辑的相对表达力。结果表明，它们在各类邻域模型类上不可比较，且这两种逻辑的组合在任意邻域模型类上与标准模态逻辑具有同等的表达力。我们为每种逻辑提出了态射，这有助于我们探索框架可定义性问题，给出一般的可靠性和完备性结果，并推广文献中的若干结果。我们在各类邻域框架类上公理化了这两种逻辑。最后但同样重要的是，我们将结果推广到公开宣告的情形，其对摩尔句等问题有良好的应用。