题目：Decidable Bundled Fragments of First-Order Modal Logic

主讲人：王勋

时间：2020/3/17 15:10-18:00

腾讯会议ID：476 732 835

腾讯会议网址：https://meeting.tencent.com/s/5AA2Gwf5c7dc4