Knowing That,Knowing What,and A Dynamic Epistemic Account of Frege's Puzzle

摘要：（Plaza，1989）是动态认知逻辑领域里的经典文献，它标志着公开宣告逻辑PAL的诞生。Plaza运用归约的方法证明了PAL的完全性和可判断性等元性质，对动态认知逻辑的发展产生了深远的影响。在这篇文章中，Plaza还提出了一个新的知道算子Kv（Kv d表示“知道变量d的值是什么”），但是他没有给出加入Kv的公开宣告逻辑的完全性证明。在这篇文章中，我们试图通过使用Kv的相对化版本，探索加入Kv算子的公开宣告逻辑的完全性。作为一个应用，我们将在这个逻辑的框架下，从动态认知的角度来讨论弗雷格谜题中两个真命题a＝a及a＝b具有不同认知价值的问题。