陳佳(邏輯學專業2014 級碩士生)與其導師潘天群教授協作完成的論文Logic for Describing Strong Belief-disagreement between Agents 在Studia Logica (邏輯研究)上在線刊載。該文在潘天群教授前期工作的基礎上給出了兩個主體之間的“強信念分歧”的邏輯系統,并且用非标準的典範模型方法證明了該邏輯的可靠性與完全性。Studia Logica 由波蘭科學院的社會學和哲學研究所與斯普林格出版社聯合出版,是著名的符号邏輯國際性期刊,也是A&HCI 期刊。分歧(Disagreement )是一個涉及到哲學(認識論)、邏輯學、博弈論等多個學科的熱點話題,該論文的發表對于這些學科的發展有推動作用。