4月7日 Jeremy Seligman 报告:Social Epistemic Logic (Part 3)

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


 题目:Social Epistemic Logic (Part 3)


 报告人:Jeremy Seligman    

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


ABSTRACT:Next we consider the representation of time and knowledge in our models, introducing two approaches. One uses two-dimensional models from modal logic. The other is to model knowledge as the ability to disregard situations, and time as the presence of facts about the past. The models are developed in the setting of non-well-founded set theory and make extension use of concepts from situation theory, including partiality, constraints, and the concept of "atunement".