**Researcher at Taishan University
**

mysurname myfirstname 23 at gmail dot com

Google site | researchgate.net | LinkedIn | CV.pdf

PUBLICATIONS

To appear

**International journals**

> Z. Zhao, **Correspondence and Canonicity Theory for Quasi-Inequalities and Pi_2 Statements in Modal Subordination Algebras**, *Logic Journal of the IGPL, * doi:10.1093/jigpal/jzad003.

> Z. Zhao, **Sahlqvist Completeness Theory for Hybrid Logic with Downarrow Binder**, *Logic Journal of the IGPL, * doi:10.1093/jigpal/jzac079

> X. Fu, Z. Zhao, **Decidability for Modal Logic with Counting ML(#) in Different Frame Classes**, *Studies in Logic, * to appear.

2023

**International journals**

> Z. Zhao, **Correspondence Theory for Modal Fairtlough-Mendler Semantics of Intuitionistic Modal Logic**, *Studia Logica, * 111(6), 1057-1082, 2023.

> F. Liang, Z. Zhao, **Sahlqvist Correspondence Theory for Modal Logic with Quantification over Relations**, *Studies in Logic, * 16(6), 39-57, 2023.

> Z. Zhao, **Jonsson-Style Canonicity for Distributive Modal Mu-Calculus**, *Logic Journal of the IGPL*, 31(3), 401-421, 2023.

> Z. Zhao, **Sahlqvist Correspondence Theory for Second-Order Propositional Modal Logic**, *Journal of Logic and Computation*, 33(3), 577-598, 2023.

> Z. Zhao, **Algorithmic Correspondence for Hybrid Logic with Binder**, *Logic Journal of the IGPL*, 31(1), 39-67, 2023.

**Articles in refereed conference proceedings**

> X. Fu, Z. Zhao, **Dynamic Modal Logic with Counting: when Reduction Axioms Work and Fail**, *Proc. CLAR 2023*, LNCS 14156, pp 11-24, 2023.

> X. Fu, Z. Zhao, **A Logic for Preference Lifting under Uncertainty and its Decidability**, *Proc. CLAR 2023*, LNCS 14156, pp 213-223, 2023.

2022

**International journals**

> Z. Zhao, **Sahlqvist Correspondence Theory for Sabotage Modal Logic**, *Studies in Logic, * 15(6), 66-92, 2022.

**Articles in refereed conference proceedings**

> Z. Zhao, **Correspondence Theory for Generalized Modal Algebras**, *Proc. WoLLIC 2022*, LNCS 13468, pp 53-69, 2022.

2021

**International journals**

> Z. Zhao, **Algorithmic Correspondence and Canonicity for Possibility Semantics**, *Journal of Logic and Computation*, 31 (2), 523-572, 2021.

> Z. Zhao, **Sahlqvist Correspondence for Instantial Neighbourhood Logic**, *Studies in Logic*, 14(3):1-23, 2021.

> Z. Zhao, **Undecidability Results of Modal Definability in Extended Modal Languages**, *Studies in Logic*, 14(6):25-40, 2021.

2019

**International journals**

> W. Conradie, A. Palmigiano, Z. Zhao, **Sahlqvist via Translation**, *Logical Methods in Computer Science*, 15(1), 2019.

2018

**International journals**

> G. Greco, Minghui Ma, A. Palmigiano, A. Tzimoulis, Z. Zhao, **Unified Correspondence as a Proof-Theoretic Tool**, *Journal of Logic and Computation*, 28 (7): 1367-1442, 2018. doi:10.1093/logcom/exw022

2017

**International journals**

> A. Palmigiano, S. Sourabh, Z. Zhao, **Jónsson-style canonicity for ALBA-inequalities**, *Journal of Logic and Computation*, 27 (3), 817-865, 2017. doi: 10.1093/logcom/exv041

> A. Palmigiano, S. Sourabh, Z. Zhao, **Sahlqvist theory for impossible worlds**, *Journal of Logic and Computation*, 27 (3), 775-816, 2017. doi: 10.1093/logcom/exw014

[Paper.pdf]

> M. Ma, Z. Zhao, **Unified correspondence and proof theory for strict implication**, *Journal of Logic and Computation*, 27 (3), pp. 921-960, 2017.

[available on request]

**Articles in refereed conference proceedings**

> N. Bezhanishvili, D. de Jongh, A. Tzimoulis, Z. Zhao, **Universal models for the positive fragment of intuitionistic logic**, *Logic, Language, and Computation: 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, LNCS 10148, pp.229-250*, 2017.

> W. Conradie, A. Craig, A. Palmigiano, Z. Zhao, **Constructive canonicity for lattice-based fixed point logics**, *Proc. WoLLIC 2017*, J. Kennedy, R. de Queiroz eds, pp. 92-109, 2017.

> Z. Zhao, **Algorithmic Sahlqvist preservation for modal compact Hausdorff spaces**, *Proc. WoLLIC 2017*, J. Kennedy, R. de Queiroz eds, pp. 387-400, 2017.

2015

**Articles in refereed conference proceedings**

> G. Bedrosian, A. Palmigiano, Z. Zhao, **Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention**, *Proceedings of the Fifth International Workshop on Logic, Rationality and Interaction - LORI 2015*, LNCS 9394, pp. 27-39 (2015).

Paper.pdf

> M. Esteban, A. Palmigiano, Z. Zhao, **An Abstract Algebraic Logic view on Judgment Aggregation**, *Proceedings of the Fifth International Workshop on Logic, Rationality and Interaction - LORI 2015*, LNCS 9394, pp. 77-89 (2015).

Paper.pdf

> D. de Jongh, Z. Zhao, **Positive Formulas in Intuitionistic and Minimal Logic**, *Logic, Language, and Computation: 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013*, LNCS 8984, pp. 175-189 (2015).

Paper.pdf

WORKING PAPERS

> X. Fu, Z. Zhao, **Game Semantics for Modal Logic with Counting**, *submitted*.

> F. Liang, Z. Zhao, **Discrete and Topological Correspondence Theory for Modal Meet-Implication Logic and Modal Meet-Semilattice Logic in Filter Semantics**, *submitted*.

> X. Fu, Z. Zhao, **Numerical Expressive Power for Logical Languages with Cardinality Comparison Operators**, *submitted*.

> X. Fu, Z. Zhao, **Modal Logic with Counting: Axiomatic and Model Theoretic Aspects**, *submitted*.

> Y. Yu, Z. Zhao, **Spectral Correspondence Theory for Generalized Modal Algebras and Generalized Modal Heyting Algebras**, *submitted*.

> Z. Zhao, **An Extended Correspondence and Completeness Theory for Hybrid Logic H(@)**, *in preparation*.

> N. Bezhanishvili, L. Carai and S. Ghilardi, Z. Zhao, **Calculi for Modal Compact Hausdorff Spaces and Admissibility of Pi_2-Rules**, *in preparation*.

> R. Gruszczynski, P. Menchon, Z. Zhao, **Hybrid Logic of Strict Betweenness**, *in preparation*.

> X. Fu, Z. Zhao, **Correspondence Theory for Modal Logic with Counting**, *in preparation*.

> X. Fu, Z. Zhao, **Modal logic with "Most"**, *in preparation*.

> A. Lewis-Smith, Z. Zhao, **A Kripke Semantics for Intuitionistic Lukasiewicz logic with Weak Excluded Middle**, *in preparation*.

> A. Lewis-Smith, Z. Zhao, **Correspondence Theory for Intermediate Lukasiewicz Logics**, *in preparation*.

> Z. Yu, Z. Zhao, **Modal Logic with Counting for Quantitative Argumentation**, *in preparation*.

THESES

**PhD thesis**

> **Unified Correspondence and Canonicity**, supervised by Prof. Dr Ibo van de Poel and Prof. Dr Alessandra Palmigiano, *Technische Universiteit Delft*, 2018.

**Master thesis**

> **Algebraic Canonicity of Non-Classical Logics**, supervised by Prof. Dr Alessandra Palmigiano, *Universiteit van Amsterdam*, 2013.

**Bachelor thesis**

> **Combining Preference and Belief: From Statics to Dynamics** (in Chinese), supervised by Prof. Dr Feng Ye and Prof. Dr Fenrong Liu, *Peking University*, 2011.