4月14日梁真报告:An axiomatisation for minimal social epistemic logic

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

题目:An axiomatisation for minimal social epistemic logic


报告人:梁真

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


摘要: A two-dimensional modal logic, intended for applications in social epistemic logic, with one dimension for agents and the other for epistemic states is given. The language has hybrid logic devices for agents, as proposed in earlier papers by Seligman, Liu and Girard. We give an axiomatisation and a proof of its completeness.