在某逻辑学国际学术研讨会上，有四位专家做了重要发言，他们分别是中国专家、美国专家、波兰专家、加拿大专家，四位专家研究的领域分别是模态逻辑、辩证逻辑、人工智能逻辑中的某一个，其中：
只有加拿大专家研究辩证逻辑；
美国专家和中国专家研究的不是同一领域；
中国专家和另一位专家的研究领域相同；
波兰专家不研究模态逻辑。
根据以上条件可以推断，中国专家研究的领域是：