Zhiguang Zhao

Phd student

Zhiguang Zhao_Applied Logic TU Delft

mysurname myfirstname 23 at gmail dot com 
Google siteresearchgate.netLinkedIn | CV.pdf

PUBLICATIONS

2021
International journals

> Z. Zhao, Algorithmic Correspondence and Canonicity for Possibility Semantics, Journal of Logic and Computation, 31 (2), 523-572, 2021. doi:10.1093/logcom/exab004

> Z. Zhao, Sahlqvist Correspondence for Instantial Neighbourhood Logic, Studies in Logic, forthcoming.

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. ArXiv preprint 1603.06547

> 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

Correspondence and canonicity

> Z. Zhao, Sahlqvist Correspondence Theory for Sabotage Modal Logic, submitted.

> Z. Zhao, Algorithmic Correspondence for Hybrid Logic with Binder, submitted.

> Z. Zhao, Undecidability Results of Modal Definability in Extended Modal Languages, submitted.

> Z. Zhao, Jonsson-Style Canonicity for Distributive Modal Mu-Calculus, submitted.

> Z. Zhao, Sahlqvist Correspondence Theory for Modal Logic with Helpers and Bosses, in preparation.

> Z. Zhao, Algorithmic Correspondence Theory for Graded Modal Logic, in preparation.

THESES

PhD thesis

> Unified Correspondence and Canonicity, supervised by 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.
Paper.pdf

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. [available on request]