Researcher at Taishan University
mysurname myfirstname 23 at gmail dot com
Google site | researchgate.net | LinkedIn | CV.pdf
PUBLICATIONS
2023
International journals
> Z. Zhao, Correspondence Theory for Modal Fairtlough-Mendler Semantics of Intuitionistic Modal Logic, Studia Logica, to appear.
> X. Fu, Z. Zhao, Decidability for Modal Logic with Counting ML(#) in Different Frame Classes, Studies in Logic, to appear.
> F. Liang, Z. Zhao, Sahlqvist Correspondence Theory for Modal Logic with Quantification over Relations, Studies in Logic, to appear.
> 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.
> 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
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
> Z. Zhao, Spectral Correspondence Theory for Logics not Based on Bounded Lattices, 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, Dynamic Modal Logic with Counting: when Reduction Axioms Work and Fail, submitted.
> X. Fu, Z. Zhao, Model-Theoretic and Axiomatic 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.
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.