社会网络分析不仅是重要的社会学理论,更是当前相关领域的研究热点。社会网络的结构平衡性是其重要性质。用于分析与研究社会平衡的动态分析理论为结构平衡理论。结构平衡理论最初被用于衡量主体认知结构的平衡特性,而后由于图论方法的引入,逐渐发展为一个高度形式化且适用面广的动态社会结构分析理论。近年来,逻辑学家们对社会网络领域产生了很大的兴趣并对此做了不少工作。不过,其中大部分研究工作关注网络中的信息与知识交换及其所造成的影响,而只有敌友逻辑关注社会网络自身的结构特征。敌友逻辑是一个基于结构平衡理论视角,用于研究社会网络结构性质与动态变化的时态逻辑。敌友逻辑以计算树逻辑为基础,其中每条时间线表示社会网络的一个动态变化过程。虽然敌友逻辑的模型检测与有效性检测问题被证明为PSPACE-完全,但前人并未给出相应的公理系统。本文首先依据描述方法对敌友逻辑进行公理化,并证明该公理系统具有可靠性与强完全性。而后,本文依据考虑关系强度的平衡理论研究,定义了强度网络及相应的稳定性与平衡性,并以敌友逻辑为基础,建立了考虑关系强度的敌友逻辑。再后,本文不仅通过规约及相应算法证明了考虑关系强度的敌友逻辑的模型检测问题为PSPACE-完全,还使用类似的描述方法,建立了考虑关系强度敌友逻辑的公理系统,并证明其可靠性与强完全性。最后,本文通过Python编程语言,编写了考虑关系强度的敌友逻辑的模型检测工具。