模态推理是指前提或者结论为模态命题的推理。
根据命题的种类来划分，模态推理可以划分为：简单模态命题的推理和复合模态命题的推理。其中，简单模态命题的推理包括根据模态方阵进行的模态推理和根据模态命题与性质命题之间的关系进行的模态推理。
复合模态命题的推理
复合模态命题的推理是指根据复合模态命题之间的等值关系进行的推理，它有以下几个主要的有效推理形式：
①必然（p并且q）→必然p并且必然q
②可能（p并且q）→可能p并且可能q
③必然p或者必然q→必然（p或者q）
④可能（p或者q）→可能p或者可能q
⑤不可能（p并且非q）→必然（如果p，那么q）
例如：不可能（温度升高并且物体不膨胀），所以，必然是（如果温度升高，那么物体膨胀）。
