To promote interdisciplinary interaction between different faculty members and students on the campus, a weekly meeting has been organized by our postdoc Jialiang Yan since September 2023, called Tsing Ch’a Sessions (清茶会). Its slogan “know thyself and let others know you better.”
■Schedule for 2024-2025 academic year (Spring)
| Date | Speaker |
|---|---|
| 2025 Feb 27 | Sisi Yang |
| 2025 Mar 20 | Wenfei Ouyang |
| 2025 Mar 27 | Xi Yang |
■Current Sessions
2025 Mar 20 14:00-15:30 Wenfei Ouyang (欧阳文飞 Tsinghua University) Representation Theorem in Disjunctive Dependence
Disjunctive dependence is an interesting variant of functional dependency, which is used to express dependency like “x functionally determines y or z”. In this talk, I will discuss representation theorem for disjunctive dependence in dependence models and present some negative and positive results on it.
2025 Feb 27 14:00-15:30 Sisi Yang (杨思思 Tsinghua University) Axiomatization problem of Temporal STIT Logic
The integration of temporal reasoning with agency—the formalization of how agents make choices over time—is a foundational area of study in philosophy and logic. Temporal logic and STIT (Seeing to It That) logic have been well-established separately, with complete axiomatizations existing for both systems. Temporal STIT (TSTIT) logic combines temporal operators with STIT operators to model agency over time. While there has been some prior work on the axiomatization of TSTIT logic, existing results are limited to specific classes of STIT frames, leaving the general axiomatization problem open. In this talk, we will focus on the axiomatization of TSTIT logic with temporal operators X, F, and the STIT operator for a single agent, interpreted over discrete time and bundled trees. Specifically, we will explore a transformation method involving bundled trees and Ockhamist frames, aimed at constructing a general STIT frame.
Reference：
- [Belnap et al.(2001)] Nuel Belnap, Michael Perloff, and Ming Xu. 2001. Facing the future: agents and choices in our indeterminist world. Oxford University Press.
- [Ciuni and Zanardo(2010)] Roberto Ciuni and Alberto Zanardo. 2010. Completeness of a branching-time logic with possible choices. Studia Logica 96 (2010), 393–420.
- [Ciuni and Lorini(2018)] Roberto Ciuni and Emiliano Lorini. 2018. Comparing semantics for temporal STIT logic. Logique et Analyse 243 (2018), 299–339.
■Past Sessions
Click HERE to check the past sessions.
