Title of article :
Logics of communication and change
Author/Authors :
Johan van Benthem، نويسنده , , Jan van Eijck، نويسنده , , Barteld Kooi، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2006
Keywords :
Kleene’s theorem , Epistemic logic , Update , Common knowledge , Reduction axioms , Product update , Finiteautomata , Dynamic logic
Journal title :
Information and Computation
Journal title :
Information and Computation
