Zhiguang Zhao

Phd student

Zhiguang Zhao_Applied Logic TU Delft

z.zhao-3@tudelft.nl | +31 15 27 83 565 | TU Delft / TPM / building 31 / room b3.370 Google siteacademia.eduLinkedIn | CV.pdf

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

2016
International journals

> G. Greco, Minghui Ma, A. Palmigiano, A. Tzimoulis, Z. Zhao, Unified Correspondence as a Proof-Theoretic Tool, Journal of Logic and Computation, Special Issue on Canonicity and Correspondence for Nonclassical Logics (2016), forthcoming.
[available on request]

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

> W. Conradie, A. Palmigiano, S. Sourabh, Z. Zhao, Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA, submitted.
[available on request]

> W. Conradie, A. Palmigiano, Z. Zhao, Sahlqvist via Translation, submitted.

Paper.pdf

> Z. Zhao, Algorithmic Correspondence and Canonicity for Possibility Semantics, in preparation.
Paper.pdf

> Z. Zhao, A Correspondence Theorem for Sabotage Modal Logic, in preparation.

THESES

PhD thesis

> Unified Correspondence and Canonicity, supervised by Dr Alessandra Palmigiano, Technische Universiteit Delft, 2018 (forthcoming).

Master thesis

> Algebraic Canonicity of Non-Classical Logics, supervised by 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]