Wei Wang (王威)

Visiting the Department of Philosophy at Stockholm University

CV (August 2025 version)

Contact Information

Visiting address: D728, Universitetsvägen 10 D, Stockholm University, SE-106 91 Stockholm, Sweden

The theory of logic, and the application of logic to computer science, linguistics, and philosophy.

Current focus: Strategic reasoning, temporal logic, epistemic logic, formal semantics, team semantics.

Broader interests: Logic, linguistics, computer science.

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. Forthcoming. (Download)
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)

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

Native	Ningbonese (Wu), Mandarin
Fluent	English (IELTS 8.5, CEFR C2), Shanghainese (Wu), Cantonese (Yue)
Intermediate	Japanese, Swedish
Reading	Classical Chinese
Basic	German, French, Latin, Hokkien (Southern Min)

Language learning, programming, travelling.