Lewisian connexive logics, 2025, Studies in Logic (逻辑学研究), 18(3): 96-114. pdf
A Contrastive Semantics for Iffy Oughts, 2025, In: Kees van Berkel , Agata Ciabattoni, and John Horty (eds) Deontic Logic and Normative Systems, 17th International Conference, DEON 2025. pp. 369-388. College Publications. pdf
Six faces of Or-to-If, 2025, In: Ågotnes, T., Doder, D. (eds) Logic and Argumentation. CLAR 2025. Lecture Notes in Computer Science, vol 15712. pp. 327-342. Springer. (Best paper award of CLAR 2025) pdf
A modal logic for reasoning in contexts, 2024, In: Agata Ciabattoni, David Gabelaia, and Igor Sedla (eds) Advances in Modal Logic Vol 15. pp. 719-740. College Publications. pdf
Validity in contexts, 2024, In: Metcalfe, G., Studer, T., de Queiroz, R. (eds) Logic, Language, Information, and Computation. WoLLIC 2024. Lecture Notes in Computer Science, vol 14672. pp. 243-260. Springer. pdf
Strict-tolerant conditional logics (with Lin Chen), 2024, In: Metcalfe, G., Studer, T., de Queiroz, R. (eds) Logic, Language, Information, and Computation. WoLLIC 2024. Lecture Notes in Computer Science, vol 14672. pp. 1-17. Springer. pdf
On the Transitivity of Logical Consequence without Assuming Monotonicity (with Lin Chen), 2024, Logica Universalis, 18(3): 285-300. pdf
Stalnakerian connexive logics, 2024, Studia Logica, 112(1-2): 315-403. pdf
New axiomatization of Lewis’ conditional logics, 2022, In B. Liao, R. Markovich, Yì N. Wáng (eds), Logics for New-Generation AI: Second International Workshop, pp. 95-106, College Publications.
Validity under assumptions and modus ponens, 2021, In: Baroni P., Benzmüller C., Wáng Y.N. (eds), Logic and Argumentation. NCLAR 2021. LNCS, vol. 13040, pp. 533-542, Springer. pdf
Representational results for non-cumulative logics (with Xincheng Luo), 2021, In: Ghosh S., Icard T. (eds) Logic, Rationality, and Interaction, LORI 2021, LNCS vol. 13039, pp. 259-272, Springer. pdf
Modal logic via global consequence, 2021, In: Silva A., Wassermann R., de Queiroz R. (eds), Logic, Language, Information, and Computation. WoLLIC 2021. LNCS vol. 13038, pp. 117-132, Springer. pdf
Democracy + Logic: Towards a General Approach to Conflict Resolution (Extended abstract), 2021, International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning. Satellite Workshop of AAMAS 2021.
Some Common Mistakes in the Teaching and Textbooks of Modal Logic, 2020, arXiv.
A new way of defining deductive consequence for modal and predicate logic, 2020, Studies in Logic (逻辑学研究), 13(6): 1-24. pdf
Judgment aggregation in nonmonotonic logic, 2018, Synthese, 195(8): 3651-3683. pdf
An update logic for games with angry players (with Fan Huang), 2016, Studies in Logic (逻辑学研究), 9(3): 71-88.
Formalizing the IMA language: Toward the minimalist program for compositional semantics, 2015, In: Modality, Semantics and Interpretation, pp.131-144, Springer. pdf
Evaluative multiple revision based on core beliefs (with Yongfeng Yuan and Shier Ju), 2015, Journal of Logic and Computation, 25(3): 781-804.
Logic aggregation (with Hu Liu), 2013, In: Proceedings of the 4th Worshop on Logic, Rationality, and Interaction (LORI-4), LNCS 8196, pp. 282-295, Springer. pdf
Simulative belief logic (with Hu Liu and Yuan Ren), 2013, Journal of Applied Logic, 11(2): 217-228. pdf
On formalization of causation on constant conjunction theory (with Hu Liu), 2013, Review of Symbolic Logic, 6(1): 160-181. pdf
Semantic games with chance moves revisited: From IF logic to Partial logic (with Shier Ju), 2013, Synthese, 190(9): 1605-1620. pdf
An alternative logic for knowability (with Hu Liu and Fan Huang), 2011, In: H. van Ditmarsch, J. Lang and S. Ju (eds.), Logic, Rationality and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, pp. 342-355. Springer. pdf
濠梁之辩、摩尔悖论与唯我论 (with 何杨), 2011,《现代哲学》, 2011(2): 124-128. pdf
A logic for contextual synonymy, 2010, Studies in Logic (逻辑学研究), 3(4): 1-11. pdf
An n-player semantic game for an n+1-valued logic (with Shier Ju), 2008, Studia Logica, 90(1): 17-23. pdf
Plausibility, necessity and identity: A logic of relative plausibility (with Li Xiaowu), 2007, Frontiers of Philosophy in China, 2(4): 629-644. pdf
A propositional logic with relative identity connective and a partial solution to the paradox of analysis, 2007, Studia Logica, 85(2): 251-260. pdf
Game-theoretical semantics for many-valued logics (with Shier Ju and Xihua Dai), 2007, In J. van Benthem, S. Ju, and F. Veltman (eds.) A Meeting of Minds: Proceedings of the Workshop on Logic, Rationality and Interaction. pp. 159-171. London: College Publications.