Cognition of Actions
Zhuang Liu · 2005
In this paper,we introduce the cognition of actions on the basis of the commonly dynamic epistemic logics.We give the semantics and the character axiom of the cognition of actions,establish the minimum system of the new style of logics,and then prove the frame soundness and frame completeness of the system.