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

Z. Zhao

publications
Jónsson-style canonicity for ALBA-inequalities

peer reviewed : Y

Journal of Logic and Computation (2017)

authors

  • Alessandra Palmigiano
  • Sumit Sourabh
  • Zhiguang Zhao
Sahlqvist theory for impossible worlds

peer reviewed : Y

Journal of Logic and Computation (2017)

authors

  • Alessandra Palmigiano
  • Sumit Sourabh
  • Zhiguang Zhao
Constructive canonicity for lattice-based fixed point logics

peer reviewed : Y

Proceedings of Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017 (2017) 18 pages , p. 92-109

authors

  • Willem Conradie
  • Andrew Craig
  • Alessandra Palmigiano
  • Zhiguang Zhao
Unified correspondence as a proof-theoretic tool

peer reviewed : Y

Journal of Logic and Computation (2016)

authors

  • Giuseppe Greco
  • Minghui Ma
  • Alessandra Palmigiano
  • Apostolos Tzimoulis
  • Zhiguang Zhao
Unified correspondence and proof theory for strict implication

peer reviewed : Y

Journal of Logic and Computation (2016)

authors

  • Minghui Ma
  • Zhiguang Zhao
An abstract algebraic logic view on judgment aggregation

peer reviewed : Y

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015 Proceedings (2015) 13 pages , p. 77-89

authors

  • M Esteban
  • A Palmigiano
  • Z Zhao

editors

  • W van Hoek
  • W Holliday
  • W-F Wang
Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention

peer reviewed : Y

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015 Proceedings (2015) 13 pages , p. 27-39

authors

  • G Bedrosian
  • A Palmigiano
  • Z Zhao

editors

  • W van Hoek
  • W Holliday
  • W-F Wang
Positive formulas in intuitionistic and minimal logic

peer reviewed : Y

Logic, language, and computation; 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013: Revised selected papers (2015) 334 pages , p. 175-189

authors

  • D de Jongh
  • Z Zhao

editors

  • M Aher
  • D Hole
  • E Je¿ábek
  • C Kupke
subjects
2016 - Formal methods for strategic decision-making
2017 - Formal methods for strategic decision-making
ancillary activities
GEEN - Geen

2014-01-01 -