Research
Publications
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), Logica Universalis, forthcoming. pdf
Stalnakerian connexive logics, Studia Logica, forthcoming. 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.