Wei Wang (王威)

Contact Information

Email: wangw23@mails.tsinghua.edu.cn, weiwang.ueiwaon@gmail.com

Visiting address: Room 329, Meng Minwei Humanities Building, Tsinghua University, No. 1 Qinghua Yuan, Haidian District, Beijing 100084, China

Research Interests

Current focus: Strategic reasoning, temporal logic, epistemic logic; formal verification; logical reasoning in LLMs; team semantics, formal semantics.

Broader interests: Logic, linguistics, computer science.

News

• December 2025: I'll be an Area Chair of the Logic and Computation track of the European Summer School in Logic, Language and Information (ESSLLI) 2026 Student Session.

Publications

• Articles in proceedings
  1. 'An Epistemic Extension of the Temporal Logic of Coalitional Goal Assignments', in Valeria Gradimondo and Emil Eva Rosina (eds.), Proceedings of the ESSLLI 2025 Student Session. PhilArchive, 2025. (Link)
  2. 'Disjunction and Parentheses', in Jialiang Yan, Mingming Liu, Dag Westerståhl and Xiaolu Yang (eds.), The Connectives in Logic and Language. TLLM 2024. Lecture Notes in Computer Science, vol 15410. Springer, 2025. [with Jialiang Yan and Chen Ju] (Link)
  3. 'Towards a Logical Approach to Recommendations', in Beishui Liao, Jun Pang and Tjitze Rienstra (eds.), Logics for New-Generation AI 2024: Proceedings of the Fourth International Workshop, Hangzhou, 2024, pp. 47–65. College Publications, 2024. [with Fenrong Liu and Sisi Yang] (Download)

Talks

• 2026
  1. 'Modalities for Reasoning About Concurrent Multi-Agent Systems with Non-Admissible Action Profiles' (poster, joint work with Valentin Goranko), TLLM 2026, Tsinghua University, Beijing, China, 4–5 April
  2. 'Representation of Effectivity Functions Allowing Dependence' (joint work with Chenwei Shi), Winter Meeting: Advances in Logic, Tsinghua University, Beijing, China, 12 January
• 2025
  1. 'An Epistemic Extension of the Temporal Logic of Coalitional Goal Assignments', ESSLLI 2025 Student Session, Ruhr University Bochum, Bochum, Germany, 5 August
  2. 'An Epistemic Extension of the Temporal Logic of Coalitional Goal Assignments', PhD Seminar, Stockholm University, Stockholm, Sweden, 22 April
• 2024
  1. 'Coalition Logic Allowing Dependence: Representation Theorem, Finite Model Property, and Completeness' (joint work with Chenwei Shi), Tsing Ch'a Session, Tsinghua University, Beijing, China, 14 November
  2. 'Towards a Logical Approach to Recommendations' (joint work with Fenrong Liu and Sisi Yang), LNGAI 2024, Zhejiang University, Hangzhou, China, 15 June
  3. 'Towards a Logical Approach to AI-Driven Recommendations' (joint work with Fenrong Liu and Sisi Yang), Tsing Ch'a Session, Tsinghua University, Beijing, China, 28 March

Languages