Jing Shi
Institute for Modern Logic, Central University of Finance and Economics, Beijing, China
Vicious circles: on the mathematics of non-wellfounded phenomena
Modal logic
Sts: a structural theory of sets