Papers

Journal Papers:

• 1. Sahlqvist Theory for Impossible Worlds, with Alessandra Palmigiano and Sumit Sourabh, Journal of Logic and Computation (2017) 27 (3): 775-816 (Old Version Abstract Slides)

  2. Jonsson-style Canonicity for ALBA Inequalities, with Alessandra Palmigiano and Sumit Sourabh, Journal of Logic and Computation (2017) 27 (3): 817-865 (Old Version Abstract Slides)

  3. Unified Correspondence and Proof Theory for Strict Implication, with Minghui Ma, Journal of Logic and Computation (2017) 27 (3): 921-960 (Old Version Abstract Slides)

  4. Unified Correspondence as a Proof-theoretic Tool, with Giuseppe Greco, Minghui Ma, Alessandra Palmigiano and Apostolos Tzimoulis, Journal of Logic and Computation (2018) 28 (7): 1367-1442 (Old Version Abstract Slides)

  5. Sahlqvist via Translation, with Willem Conradie and Alessandra Palmigiano, Logical Methods in Computer Science (2019) 15 (1), February 22 (Old Version Abstract Slides)

  6. Algorithmic Correspondence and Canonicity for Possibility Semantics, Journal of Logic and Computation, (2021) 31 (2): 523-572 (Old Version Abstract Slides)

  7. Sahlqvist Correspondence for Instantial Neighbourhood Logic, Studies in Logic, (2021) 14(3), 1-23 (Old version)

  8. Undecidability Results of Modal Definability in Extended Modal Languages, Studies in Logic, (2021) 14(6), 25-40

  9. Algorithmic Correspondence Theory for Sabotage Modal Logic, Studies in Logic, (2022) 15(6), 66-92 (Old Version)

  10. Algorithmic Correspondence for Hybrid Logic with Binder, Logic Journal of the IGPL, (2023) 31(1), 39-67 (Old Version)

  11. Sahlqvist Correspondence Theory for Second-Order Propositional Modal Logic, Journal of Logic and Computation, (2023) 33 (3): 577-598 (Old Version)

  12. Jonsson-Style Canonicity for Distributive Modal Mu-Calculus, Logic Journal of the IGPL, (2023) 31(3):401-421

  13. Correspondence Theory for Modal Fairtlough-Mendler Semantics of Intuitionistic Modal Logic, Studia Logica, (2023) 111(6), 1057–1082 (Old Version)

  14. Sahlqvist Correspondence Theory for Modal Logic with Quantification over Relations, with Fei Liang, Studies in Logic, (2023) 16(6), 39-57

  15. Sahlqvist Completeness Theory for Hybrid Logic with Downarrow Binder, Logic Journal of the IGPL, (2024) 32(3):367-393 (Old Version)

  16. Decidability for Modal Logic with Counting ML(#) in Different Frame Classes, with Xiaoxuan Fu, Studies in Logic, (2024) 17(3), 86-101 (Old Version)

  17. Correspondence and Canonicity Theory of Quasi-Inequalities and Pi_2-Statements in Modal Subordination Algebras, Logic Journal of the IGPL, doi.org/10.1093/jigpal/jzad003, online first (Old Version)

  18. Axiomatization of Modal Logic with Counting, with Xiaoxuan Fu, Logic Journal of the IGPL, online first (Old Version)

  19. Numerical Expressive Power of Logical Languages with Cardinality Comparison, with Xiaoxuan Fu, Journal of Logic and Computation, online first (Old Version)

Proceeding Papers:

• 20. Positive Formulas in Intuitionistic and Minimal Logic, with Dick de Jongh, in Logic, Language, and Computation: 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, LNCS 8984, 2015, pp 175-189 (Old Version Slides)

  21. An Abstract Algebraic Logic View on Judgment Aggregation, with Maria Esteban and Alessandra Palmigiano, in Logic, Rationality and Interaction: 5th International Workshop on Logic, Rationality and Interaction - LORI 2015, LNCS 9394, pp. 77-89, 2015 (Abstract Slides)

  22. Generalised Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention, with Geghard Bedrosian and Alessandra Palmigiano, in Logic, Rationality and Interaction: 5th International Workshop on Logic, Rationality and Interaction - LORI 2015, LNCS 9394, pp. 27-39, 2015

  23. Universal Models for the Positive Fragment of Intuitionistic Logic, with Nick Bezhanishvili, Dick de Jongh and Apostolos Tzimoulis, in Logic, Language, and Computation: 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, LNCS 10148, 2017, pp 229-250 (Slides)

  24. Constructive Canonicity for Lattice-Based Fixed Point Logics, with Willem Conradie, Andrew Craig, Alessandra Palmigiano, in Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, LNCS 10388, pp 92-109, 2017 (Old Version Abstract Slides)

  25. Algorithmic Sahlqvist Preservation for Modal Compact Hausdorff Spaces, in Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, LNCS 10388, pp 387-400, 2017 (Abstract Slides)

  26. Correspondence Theory for Generalized Modal Algebras,  in Logic, Language, Information, and Computation - 28th International Workshop, WoLLIC 2022, LNCS 13468, pp 53-69, 2022 (Old Version)

  27. Dynamic Modal Logic with Counting: when Reduction Axioms Work and Fail, with Xiaoxuan Fu, in Logic and Argumentation: 5th International Conference on Logic and Argumentation, CLAR 2023, LNCS 14156, pp.11-24 (2023)

  28. A Logic for Preference Lifting under Uncertainty and its Decidability, with Xiaoxuan Fu, in Logic and Argumentation: 5th International Conference on Logic and Argumentation, CLAR 2023, LNCS 14156, pp.213-223 (2023)

  29. Model Theoretic Aspects of Modal Logic with Counting, with Xiaoxuan Fu, in Logics for New-Generation AI: Fourth International Workshop, LNGAI 2024, pp.104-115 (2024)

  30. Game Semantics for Modal Logic With Counting, with Xiaoxuan Fu, AILA 2024, to appear

Submitted:

• 31. Discrete and Topological Correspondence Theory for Modal Meet-Implication Logic in Filter Semantics, with Fei Liang

  32. Correspondence Theory for Modal Logic with Counting, with Xiaoxuan Fu

  33. Modal Logic with "Most", with Xiaoxuan Fu

  34. A Calculus for Modal Compact Hausdorff Spaces, with Nick Bezhanishvili, Luca Carai and Silvio Ghilardi

In preparation:

• 35. Hybrid Logic of Strict Betweenness, with Rafal Gruszczynski and Paula Menchon

  36. A Kripke Semantics for Intuitionistic Lukasiewicz logic with weak excluded middle, with Andrew Lewis-Smith

  37. Correspondence Theory for Intermediate Lukasiewicz logic, with Andrew Lewis-Smith