Towards AI Logic for Social Reasoning