现代逻辑发展研究的重点将不应再局限于形式化的推理和证明，还需要重点突出对现实信息和现实模型的刻画研究上，结合认知逻辑和动态逻辑的方法对多主体间的交流互动现象作系统化地研究。