**Researcher at Taishan University
**

mysurname myfirstname 23 at gmail dot com

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

PUBLICATIONS

2023

**International journals**

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

> F. Liang, Z. Zhao, **Sahlqvist Correspondence Theory for Modal Logic with Quantification over Relations**, *Studies in Logic, * to appear.

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

2022

**International journals**

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

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

> Z. Zhao, **Sahlqvist Correspondence Theory for Second-Order Propositional Modal Logic**, *Journal of Logic and Computation*, doi:10.1093/logcom/exac036

**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, **Jonsson-Style Canonicity for Distributive Modal Mu-Calculus**, *Logic Journal of the IGPL*, doi:10.1093/jigpal/jzab032

> 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

> Z. Zhao, **Spectral Correspondence Theory for Logics not Based on Bounded Lattices**, *submitted*.

> Z. Zhao, **Correspondence Theory for Modal Fairtlough-Mendler Semantics of Intuitionistic Modal Logic**, *submitted*.

> Z. Zhao, **Taming “McKinsey-like” formula: An Extended Correspondence and Completeness Theory for Hybrid Logic H(@)**, *submitted*.

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

> X. Fu, Z. Zhao, **Modal Logic with Counting: Definability, Semilinear Sets and Correspondence Theory**, *submitted*.

> X. Fu, Z. Zhao, **Correspondence Theory for Modal Logic with Counting ML(#)**, *submitted*.

> X. Fu, Z. Zhao, **Dynamic Modal Logic with Counting: when Reduction Axioms Work and Fail**, *submitted*.

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

> X. Fu, Z. Zhao, **Model-Theoretic Aspects of Modal Logic with Counting ML(#)**, *submitted*.

> Z. Zhao, **Calculi for Modal Compact Hausdorff Spaces**, *in preparation*.

> X. Fu, Z. Zhao, **Logic for Binary Cardinality Comparison Modality and its Decidability**, *in preparation*.

> X. Fu, Z. Zhao, **On Axiomatization of Modal Logic with Counting ML($\#$) in Different Frame Classes**, *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.