Papers

For a chronological version, see here.

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

  14. Sahlqvist Completeness Theory for Hybrid Logic with Downarrow Binder, Logic Journal of the IGPL, doi.org/10.1093/jigpal/jzac079, online first (Old Version)

  15. 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)

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

  17. Decidability for Modal Logic with Counting ML(#) in Different Frame Classes, with Xiaoxuan Fu, Studies in Logic, to appear

Proceeding Papers:

• 18. 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)

  19. 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)

  20. 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

  21. 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)

  22. 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)

  23. 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)

  24. 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)

  25. 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)

  26. 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)

Submitted:

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

  28. Numerical Expressive Power of Logical Languages with Cardinality Comparison, with Xiaoxuan Fu

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

  30. Model Theoretic Aspects of Modal Logic with Counting, with Xiaoxuan Fu

  31. Axiomatization of Modal Logic with Counting, with Xiaoxuan Fu

  32. Game Semantics 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