本文给出了模态子句集的标准子句集概念，提出了一种基于标准子句集的模态归结方法的变型，称之为标准模态归结．证明了任意模态子句集恒假当且仅当存在从它的标准子句集出发，使用标准模态归结推出空子句的演绎．从而证明了对于不可满足标准予句集、标准模态归结是完备的．这种标准模态归结，推理规则简单、直观且容易实现． In this paper, the concept of standard clause set of modal clause set is given, and a variant of modal reduction method based on standard clause set is proposed, which is called standard modal set. It is proved that any set of modal clauses is constant if and only if there is a deduction from its standard set of clauses, the deduction of empty clause is deduced by using standard modal. It proves that for the unsatisfiable standard to the sentence set, the standard modal regression is complete. This standard moduli comes down to reasoning rules that are simple, intuitive, and easy to implement.