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
2016
International journals

> M. Ma, Z. Zhao, Unified Correspondence and Proof Theory for Strict Implication, Journal of Logic and Computation, Special Issue on Canonicity and Correspondence for Nonclassical Logics (2016), forthcoming.
[available on request]

> 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
International journals

> A. Palmigiano, S. Sourabh, Z. Zhao, Jónsson-style Canonicity for ALBA-Inequalities, Journal of Logic and Computation, Special issue on Canonicity and Correspondence for Nonclassical Logics (2015), DOI:10.1093/logcom/exv041 (2015). Paper.pdf

> A. Palmigiano, S. Sourabh, Z. Zhao, Sahlqvist Theory for Impossible Worlds, Journal of Logic and Computation, Special Issue on Canonicity and Correspondence for Nonclassical Logics (2015), forthcoming.
[available on request]

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

Intuitionistic logic

> N. Bezhanishvili, D. de Jongh, A. Tzimoulis, Z. Zhao, The Universal Model for the Negation-free Fragment of IPC, in preparation.

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.

THESES

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]