Hi! I’m Yipu Li (李一朴) and I go by the English name Lux.
I’m currently a master student at Institution of Logic, Language and Computation at University of Amsterdam. I’m a MSc Logic student following the logic and mathematics track. I obtained my bachelor at Peking University.
I’m currently working on set theory, especially descriptive set theory. This spring and summer, I spent quite some time reading Ralf Schindler’s Set Theory Exploring Independence and Truth and solved most of the problems in the latter chapters: Solutions to Ralf Schindler’s text book, index.
During my bachelor, I also did much research in modal logic, I was interested in representing people’s doxastic system with modal logic. Logic systems that models human knowledge systems .
Aside from these, I have great amateur interests in political philosophy, Chinese classics and dramas. I’m a cycler, tennis player, chess player and a growing cook in my life.
Research
- Some General Completeness Results for Propositionally Quantified Modal Logics joint with Yifeng Ding in AiML 2024. preprint
- Epistemic Syllogistic: First Steps joint with Yanjing Wang in Tark 2023. preprint
Here are some of my thoughts and leisure readings I feel like sharing.
Contacts
Email address: yipu.li.lux[at]outlook.com