Zhiguang Zhao

Zhiguang Zhao

Taishan University - Tai'an / China
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 4351179
泰山学院
person_outline Zhiguang Zhao's MOST POPULAR ARTICLES
1-) Unified Correspondence as a Proof-Theoretic Tool G Greco, M Ma, A Palmigiano, A Tzimoulis, Z Zhao Journal of Logic and Computation 28 (7), 1367–1442, 2018 912018
2-) Sahlqvist theory for impossible worlds A Palmigiano, S Sourabh, Z Zhao Journal of Logic and Computation 27 (3), 775–816, 2017 562017
3-) Sahlqvist via translationW Conradie, A Palmigiano, Z ZhaoLogical Methods in Computer Science 15 (1), 1-35, 2019412019
4-) Canonicity and relativized canonicity via pseudo-correspondence: an application of ALBAW Conradie, A Palmigiano, S Sourabh, Z ZhaoarXiv preprint arXiv:1511.04271, 2015402015
5-) J\'onsson-Style Canonicity for ALBA-InequalitiesA PALMIGIANO, S SOURABH, Z ZHAOJournal of Logic and Computation 27 (3), 817–865, 2017352017