付小軒，女，清華大學哲學博士，中國政法大學人文學院哲學系講師，邏輯學研究所副所長。
基本介紹
主要研究方向,論文成果,譯著,
主要研究方向
動態認知邏輯、偏好邏輯、博弈邏輯、模態邏輯
論文成果
1.付小軒. 決策情境中的偏好提升[J]. 邏輯學研究，2020 (2): 61-76.
2.劉奮榮, 付小軒. 關於偏好關係的質化與量化的研究——中間道路的探索[J]. 浙江大學學報（人文社會科學版）, 2020,50(5): 63-70.
3.Xiaoxuan Fu and Zhiguang Zhao. Dynamic Modal Logic with Counting: when Reduction Axioms Work and Fail, in Logic and Argumentation: 5th International Conference on Logic and Argumentation, CLAR 2023, LNCS 14156, pp.11-24 (2023).
4.Xiaoxuan Fu and Zhiguang Zhao. A Logic for Preference Lifting under Uncertainty and Its Decidability, in Logic and Argumentation: 5th International Conference on Logic and Argumentation, CLAR 2023, LNCS 14156, pp. 213-223 (2023).
5.Xiaoxuan Fu and Zhiguang Zhao. Decidability for Modal Logic with Counting ML(#) in Different Frame Classes, Studies in Logic, 17(3):86-101 (2024).
6.Xiaoxuan Fu and Zhiguang Zhao. Model Theoretic Aspects of Modal Logic with Counting, in Logics for New-Generation AI: Fourth International Workshop, LNGAI 2024, pp.104-115 (2024).
7.Xiaoxuan Fu and Zhiguang Zhao. Numerical Expressive Power of Logical Languages with Cardinality Comparison, Journal of Logic and Computation, doi.org/10.1093/logcom/exae028, online first (2024).
8.Xiaoxuan Fu and Zhiguang Zhao. Axiomatization of Modal Logic with Counting, Logic Journal of the IGPL, doi.org/10.1093/jigpal/jzae079, online first (2024).
9.Xiaoxuan Fu and Zhiguang Zhao. Game Semantics for Modal Logic with Counting, with Zhiguang Zhao, in the 4th International Conference on Artificial Intelligence Logic and Applications (AILA 2024), to appear.
譯著
• 約翰·范丙申《邏輯與博弈》，崔建英、付小軒，清華大學出版社，2024。
