A Critique of Dynamic Epistemic Logic
HU Yi-zhao · 2010
For the modern logic research,theoretical computer science and artificial intelligence once provided and are still providing it with much more motivations than mathematics could.Epistemic logic,as the formal system of reasoning about knowledge and belief,could be viewed as an important formal tool for logical applications to theoretical computer science and artificial intelligence,etc.Dynamic epistemic logic brings out a variety of formal systems by extending the static basis of epistemic logic with various operators representing epistemic actions and resulted epistemic changes.This paper begins with exploring motivations of epistemic logic,inquires the question of where we should stop the activities of creating new logics,and then ends up giving a critique of dynamic epistemic logic: from the viewpoint of applying epistemic logic,the formalizing of epistemic action is redundant.