↓
 

Xixi Logic

  • Home
  • Announcements
    • Local Announcements
    • Messages from the Community
  • Invited Talks
  • Conferences
  • Group Meetings
    • L&I Reading Group
    • PL&PL Reading Group
  • Other Events
  • Courses
  • Calendar
  • About Us
Home→Author Yì N. Wáng - Page 23 << 1 2 … 21 22 23 24 25 … 39 40 >>

Author Archives: Yì N. Wáng

Post navigation

← Older posts
Newer posts →

4th Delta Logic Workshop, Nanjing, PRC [2016-10-22]

Xixi Logic Posted on 2016-09-28 by Yì N. Wáng2018-10-14

http://ims.nju.edu.cn/~yuliang/delta4/delta4.html

Continue reading →
Posted in Community

Jianfeng He: Hybrid public announcement logic [2016-10-11]

Xixi Logic Posted on 2016-09-23 by Yì N. Wáng2018-10-14

西溪逻辑论坛第40期 (本活动受中央高校基本科研业务费专项资金资助) 主题:公开宣告逻辑的混合化 报告人:何键枫 点评人:王轶 时间:2016年10月11日(周二) 13:00-15:00 地点:浙大西溪校区主楼259会议室 摘要:报告主要讨论公开宣告逻辑的混合化。为确保名字不会失去指称,采用保留状态并删除箭头的模型更新方式。通过在混合语言中添加公开宣告算子或间接宣告算子,结合不同的语义,我们得到了不同的逻辑,并考察不同逻辑之间表达力的强弱关系。通过归约公理或典范模型方法,我们为分别这些逻辑提供了可靠完全的公理系统。

Continue reading →
Posted in Group Meetings

PL&PL#1 S01 W01 [2016-10-10]

Xixi Logic Posted on 2016-09-23 by Yì N. Wáng2019-01-23

“Philosophy of Logic and Philosophical Logic” Reading Group Season 1, Week 1, Total #1 董氏文史哲青年学术沙龙、西溪逻辑论坛第39期 “逻辑哲学与哲学逻辑”读书会第1次活动 主题:本学期“逻辑哲学与哲学逻辑”读书会基本安排和内容提要 报告人:王轶 时间:2016年10月10日(周一) 18:30-20:00 地点:浙大西溪校区主楼710室(哲学系会议室) 本活动受第23届浙江大学“董氏文史哲研究奖励基金”资助。

Continue reading →
Posted in PL&PL Reading Group

Post navigation

← Older posts
Newer posts →
© Since 2014 Xixi Logic. All rights reserved.   浙ICP备15002489号-1
↑