模态推理主要有哪几种