The Dynamic Transformation in Epistemic Logic Viewed from PAL
Meiyun Guo · Ziran bianzhengfa yanjiu · 2006
Firstly,we introduce the background and some developments of the study in Dynamic Epistemic Logic.Secondly,taking the Public Announcement Logic(PAL),which is a basic logic system in Dynamic Epistemic Logic,as an example,we discuss some typical methods in Dynamic Epistemic Logic.Finally,we investigate how the Epistemic Logic transforms from the static to a dynamic one.