Z. (Zhiguang) Zhao

Profile

I’m currently a PhD student in logic at the Faculty of Technology, Policy and Management, supervised by Dr Alessandra Palmigiano. Before coming to TPM, I studied logic at Universiteit van Amsterdam as a master student.

Research

My research interest is about unified correspondence theory in logic, which distills order-theoretic and algebraic properties from concrete semantic settings and applies to different semantic environments.

As Teaching assistant:

  • Integration Economics, Law, Philosophy and Technology, 2015 Winter
  • Ethics and Engineering for Aerospace Engineering, 2014 Winter
  • Unified Correspondence as a Proof-theoretic Tool, with Giuseppe Greco, Minghui Ma, Alessandra Palmigiano and Apostolos Tzimoulis, Journal of Logic and Computation, doi:10.1093/logcom/exw022 (2016)
  • Unified Correspondence and Proof Theory for Strict Implication, with Minghui Ma, Journal of Logic and Computation, doi:10.1093/logcom/exw012 (2016)
  • Sahlqvist Theory for ImpossibleWorlds, with Alessandra Palmigiano, Sumit Sourabh, Journal of Logic and Computation, doi:10.1093/logcom/exw014 (2016)
  • Jonsson-style Canonicity for ALBA Inequalities, with Alessandra Palmigiano, Sumit Sourabh, Journal of Logic and Computation, doi:10.1093/logcom/exv041 (2015)
  • Universal Models for the Positive Fragment of Intuitionistic Logic, with Nick Bezhanishvili, Dick de Jongh, Apostolos Tzimoulis, in Logic, Language, and Computation: 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015 (2017)
  • Generalised Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention, with Geghard Bedrosian and Alessandra Palmigiano, in Logic, Rationality and Interaction: 5th International Workshop on Logic, Rationality and Interaction - LORI 2015, LNCS 9394, pp. 27-39 (2015)
  • An Abstract Algebraic Logic View on Judgment Aggregation, with Maria Esteban and Alessandra Palmigiano, in Logic, Rationality and Interaction: 5th International Workshop on Logic, Rationality and Interaction - LORI 2015, LNCS 9394, pp. 77-89 (2015)
  • Positive Formulas in Intuitionistic and Minimal Logic, with Dick de Jongh, in Logic, Language, and Computation: 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, LNCS 8984, pp 175-189 (2015)

More publications


Zhiguang Zhao

PhD candidate


Additional information

Person not found

We can't find the person you are looking for.