Time: 2015 Nov. 10, 16:00-17:30
Venue: Rm 335 XinZhai (新斋), Tsinghua University, Beijing.
Speaker: Sun Xin (University of Luxemburg)
Title: Deontic Logic: from the past to the future
Abstract: In this talk we start with traditional deontic logic: standard deontic logic and dyadic standard deontic logic. We discuss their syntax, semantics and some surrounding paradoxes. Then we move to modern deontic logic, mainly input/output logic, including its operational semantics and computational complexity. We will discuss some applications of deontic logic if time permits.