Tsinghua Logic

Archive for Events

Seminar Oct. 15th, 2009

Logical Dynamics of Social Communication Time:15 October, 4:00-5:30 pm Place:Xinzhai Room 335, Tsinghua University ABSTRACT: Inspired by the development of Dynamic Epistemic Logics in the last two decades, dynamic changes brought about by acts of commanding, suggesting, promising, asserting, conceding, and so on are studied in logical terms, and various dynamic logics are developed. I […]

Seminar Dec. 30th, 2009

反推数学简介 时间:4:00-5:30 pm, Decemeber 30, 2009 地点:Xinzhai Room 335, Tsinghua University 摘要: 反推数学与数理逻辑尤其是与递归论有着不可分割的联系,尽管它的范围并不完全包含在数理逻辑里面。本讲座将通过一个技术性的定理来介绍反推数学这一领域。该定理的证明是与新加坡国立大学庄志达和美威斯康星大学史迪芬·伦普合作完成的,其粗略叙述为:某种线序的分割原理与皮亚诺算术的某种弱归纳原理等价。  

Seminar Aug. 23rd, 2010

Cognitive realism in belief revision: Representing a finite mind 时间:2010年8月23日(星期一) 下午4:00-5:30 地点:清华大学新斋353会议室 演讲人:Prof. Sven Ove Hansson(Department of Philosophy and the History of Technology, Royal Institute of Technology, Sweden.) 摘要: Since a human mind cannot deal directly with infinite structures, cognitively realistic models of belief change should operate on belief states that have a finite representation. […]

Seminar May 6th, 2010

Abstractions and Idealisations: The Construction of Modern Linguistics 时间:2010年5月6日 3:30-5:30 地点:新斋346 ABSTRACT: In this talk, which reports joint work with Michiel van Lambalgen, we investigate the way in which modern linguistics has constructed some of its core notions (such as language, meaning, competence). We argue that often a process of construction is used, which we […]

Seminar Nov. 17th, 2011

Modal Logics of Space Time: Nov. 17th, 7:30-8:30 pm Place:Xinzhai Room 346, Tsinghua University Abstract: The need for formal languages for the representation and reasoning about space is crucial in many areas of AI and Computer Vision. In many contexts, qualitative approaches to space are more effective and appropriate than quantitative ones. In this talk, I review modal […]

Seminar Oct. 26th, 2012

Modeling Evidence Dynamics(证据动态变化的逻辑模型) 时间:2012 年 10 月 26 日 (星期五) 2:00 — 4:00 pm 地点:清华大学 6 教 B407 主办:清华大学人文学院哲学系 报告人: Johan van Benthem 教授 (阿姆斯特丹大学大学教授、荷兰皇家科学院院士、 斯坦福大学教授、中国教育部海外名师) 摘要: The intuitive notion of evidence as explored by epistemologists sits somewhere in between syntax and semantics. We will explore how this can be modeled in terms of so-called […]

Seminar May 9-10th, 2013

Advances of Dynamic Epistemic Logic 报告人:Hans van Ditmarsch 教授 报告地点:新水利馆370教室 主办单位:清华大学人文学院 哲学系 报告内容: 1. 2013年5月9日 9:00-12:00 AM 主题:The moore-sentence and the fitch-paradox in dynamic epistemic logic (动态认知逻辑中的摩尔句子与费奇悖论) 2. 2013年5月9日 2:00-5:00 PM 主题:Awareness and knowledge(觉知与知识) 3. 2013年5月10日 9:00-12:00 AM 主题:Lying in dynamic epistemic logic(动态认知逻辑) 4. 2013月5月10日 2:00-5:00 PM 主题:Quantifying over information change(信息变化的量化)

Workshop March 1, 2014

Workshop on Knowledge, Rationality and Decision Making 知识、理性和决策工作坊   时间:2014年3月1日 地点:清华大学新斋353会议室   议程: 2:00-3:30  Mamoru Kaneko  日本早稻田大学 教授 题目:Epistemic logic approach to prediction/decision making in game situations 3:00-4:00  茶歇 4:00-4:40  石辰威 清华大学 题目:Knowledge and evidence 4:40-5:20  Shuige Liu 日本早稻田大学 题目:Eliminations of dominated strategies and inessential players: an abstraction process   欢迎大家参加!   组织:清华大学-阿姆斯特丹大学逻辑学联合研究中心 北京市逻辑学会青年学者逻辑论坛

Seminar March 24th, 2013

Reasoning about coalitional ability in games: Coalition Logic vs. PDL 报告人:Thomas Ågotnes (挪威卑尔根大学教授) 报告时间:3月24日(周日)上午9:30-11:30 报告地点:新斋346会议室 主办单位:北京市逻辑学会青年论坛 清华大学哲学系 报告简介: The use of modal logics for reasoning about games has been of considerable interest in recent years. One popular framework is Pauly’s coalition logic (CL), developed to reason about coalitional abilities of the form “coalition C have […]

Welcome to Tsinghua Logic