A Dynamic Social Network Logic