一种动态描述逻辑及其应用的中期报告

一种动态描述逻辑及其应用的中期报告简介动态描述逻辑（Dynamic Epistemic Logic，DEL）是当前研究领域内发展迅速的一种逻辑，它主要研究知识、信念、意图等知识状态的变化及其对知识状态