McKinsey公理,简称M公理,由J. C. C. Mckinsey于1945年提出。逻辑学家之所以关注该公理,源于回答Lemmon-Scott1966年在其手稿中提出的与Mckinsey称之为S4.1系统相关的一个问题,同时正式将该公理命名为McKinsey公理。逻辑学家给出了较一般的模态公式Gk,l,m,n的框架条件,但M公理不能为Gk,l,m,n条件框架所刻画。同时M公理是构成“若系统S由其框架类的基本子类所决定,那么S是典范的”这一论断的一个简单反例。M公理的种种“不合作”特性,使其成为内涵模态逻辑研究过程中不得到关注的要点。对M公理的研究,受到模态逻辑学家尤其是国外学者的重视,但国内的研究明显不足。用语义图方法本文证明M公理是非K-有效的,同时描述了M公理的有效的四种框架类型。并且,结合前人的理论研究,本文分析了M公理的非一阶可定义性。本文研究了Robert Goldblatt对KM系统非典范性的证明。该证明具有极为重要的逻辑意义及哲学意义。该证明告诉我们,M公理分别与正规模态逻辑系统K系统、S4系统相结合所形成的KM系统和K4M系统其性质截然不同。基于对KM系统的分析,本文最后研究了相关系统时态逻辑系统、S4M系统、KMT系统的性质。