4月21日熊作军报告:A Logic of Positive and Negative Relations

发布时间:2017-04-19 来源:本站原创 作者:本站编辑   浏览次数:

题目:A Logic of Positive and Negative Relations


 报告人:熊作军

 时间:4月21日19:00-21:00  地点:逻辑与智能研究中心3203


摘要:This talk introduces a  logic of positive and negative relations based on the Kripke semantics. The two signed relations (positive and negative) as modal relations are non-overlapping, symmetric, and  positive-reflexive. Since the non-overlapping property is normal modal logic undefinable, the weak completeness is achieved by adapting a method from the blue book (Section 4.7 Modal Logic), called  rules for the undefinable.

Furthermore, a particular structure, called a balanced graph, in Social Network Analysis is treated.  An axiomatization of the class of  n-balanced graphs is presented, and the soundness and weak completeness are proved by the similar method we introduced.

 A goal of this talk is to discuss and introduce an alternative way of studying and understanding the section 4.7 in Modal Logic (the blue book).