A logic of reasoning, communication and cooperation with syntactic knowledge