A Research on the Development of Dynamic Epistemic Logic
Liao De-ming · Ziran bianzhengfa yanjiu · 2008
Dynamic epistemic logic,rised in recent years,is a non-classical logic.It is the product of interaction among logic,cognition and information.Through analyzing the change of knowledge and information it provides information dynamic cognition in the process of reasoning with formal expresses,structure models and the ways of formal approach.it is important for the analysis of language construction,artificial intelligence and computer information processing.