内容简介
DynamicEpistemicLogicisthelogicofknowledge,actionsandtheinterrelationofthem.Thisisnotaboutonelogic,butaboutawholefamilyoflogicsthatallowsustospecifystaticanddynamicaspectsofrationalagentsystems.Thebookprovidesvariouslogicstosupportsuchformalspecifications.