Positive Formulas in Intuitionistic and Minimal Logic. - Dick de Jongh; Zhiguang Zhao (TbiLLC, 2013)

Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention. - Geghard Bedrosian; Alessandra Palmigiano; Zhiguang Zhao (LORI, 2015)

An Abstract Algebraic Logic View on Judgment Aggregation. - María Esteban; Alessandra Palmigiano; Zhiguang Zhao (LORI, 2015)

Universal Models for the Positive Fragment of Intuitionistic Logic. - Nick Bezhanishvili; Dick de Jongh; Apostolos Tzimoulis; Zhiguang Zhao (TbiLLC, 2015)

Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA. - Willem Conradie; Alessandra Palmigiano; Sumit Sourabh; Zhiguang Zhao (CoRR, 2015)

Algorithmic Correspondence and Canonicity for Possibility Semantics (Abstract). - Zhiguang Zhao (SOQE, 2017)

Constructive Canonicity for Lattice-Based Fixed Point Logics. - Willem Conradie; Andrew Craig; Alessandra Palmigiano; Zhiguang Zhao (WoLLIC, 2017)

Algorithmic Sahlqvist Preservation for Modal Compact Hausdorff Spaces. - Zhiguang Zhao (WoLLIC, 2017)

Unified correspondence and proof theory for strict implication. - Minghui Ma; Zhiguang Zhao (J. Log. Comput., 2017)

Sahlqvist theory for impossible worlds. - Alessandra Palmigiano; Sumit Sourabh; Zhiguang Zhao (J. Log. Comput., 2017)

Jónsson-style canonicity for ALBA-inequalities. - Alessandra Palmigiano; Sumit Sourabh; Zhiguang Zhao (J. Log. Comput., 2017)

Unified correspondence as a proof-theoretic tool. - Giuseppe Greco 001; Minghui Ma; Alessandra Palmigiano; Apostolos Tzimoulis; Zhiguang Zhao (J. Log. Comput., 2018)

Sahlqvist via Translation. - Willem Conradie; Alessandra Palmigiano; Zhiguang Zhao (Log. Methods Comput. Sci., 2019)

Sahlqvist Correspondence Theory for Sabotage Modal Logic. - Zhiguang Zhao (CoRR, 2020)

Sahlqvist Correspondence Theory for Instantial Neighbourhood Logic. - Zhiguang Zhao (CoRR, 2020)

Sahlqvist-type Correspondence Theory for Second-Order Propositional Modal Logic (Short Paper). - Zhiguang Zhao (SOQE@KR, 2021)

Algorithmic correspondence and canonicity for possibility semantics. - Zhiguang Zhao (J. Log. Comput., 2021)

Correspondence Theory for Generalized Modal Algebras. - Zhiguang Zhao (WoLLIC, 2022)

Sahlqvist-Type Completeness Theory for Hybrid Logic with Binder. - Zhiguang Zhao (CoRR, 2022)

Taming "McKinsey-like" formula: An Extended Correspondence and Completeness Theory for Hybrid Logic H(@). - Zhiguang Zhao (CoRR, 2022)

Dynamic Modal Logic with Counting: When Reduction Axioms Work and Fail. - Xiaoxuan Fu; Zhiguang Zhao (CLAR, 2023)

A Logic for Preference Lifting Under Uncertainty and Its Decidability. - Xiaoxuan Fu; Zhiguang Zhao (CLAR, 2023)

Algorithmic correspondence for hybrid logic with binder. - Zhiguang Zhao (Log. J. IGPL, 2023)

Sahlqvist correspondence theory for second-order propositional modal logic. - Zhiguang Zhao (J. Log. Comput., 2023)

Jónsson-style canonicity in distributive modal µ-calculus. - Zhiguang Zhao (Log. J. IGPL, 2023)

Correspondence Theory for Modal Fairtlough-Mendler Semantics of Intuitionistic Modal Logic. - Zhiguang Zhao (Stud Logica, 2023)

An improved RIME optimization algorithm for lung cancer image segmentation. - Lei Guo; Lei Liu 048; Zhiguang Zhao; Xiaodong Xia (Comput. Biol. Medicine, 2024)

Sahlqvist completeness theory for hybrid logic with downarrow binder. - Zhiguang Zhao (Log. J. IGPL, 2024)

Correspondence and canonicity theory of quasi-inequalities and Π2-statements in modal subordination algebras. - Zhiguang Zhao (Log. J. IGPL, 2024)

Integrating multi-task and cost-sensitive learning for predicting mortality risk of chronic diseases in the elderly using real-world data. - Aosheng Cheng; Yan Zhang; Zhiqiang Qian; Xueli Yuan; Sumei Yao; Wenqing Ni; Yijin Zheng; Hongmin Zhang; Quan Lu; Zhiguang Zhao (Int. J. Medical Informatics, 2024)

Enhancing identification performance of cognitive impairment high-risk based on a semi-supervised learning method. - Sumei Yao; Yan Zhang; Jing Chen; Quan Lu; Zhiguang Zhao (J. Biomed. Informatics, 2024)

Modal Equivalence, n-Bisimulation and Model Comparison Game for Basic Neighbourhood Logic. - Xiaoxuan Fu; Zhiguang Zhao (CLAR, 2025)

A Kripke Semantics for Intuitionistic Łukasiewicz Logic with Weak Excluded Middle. - Andrew Lewis-Smith; Zhiguang Zhao (JELIA (1), 2025)

A calculus for modal compact Hausdorff spaces. - Nick Bezhanishvili; Luca Carai; Silvio Ghilardi; Zhiguang Zhao (J. Log. Comput., 2025)

Numerical expressive power of logical languages with cardinality comparison. - Xiaoxuan Fu; Zhiguang Zhao (J. Log. Comput., 2025)

Predicting preeclampsia in early pregnancy using clinical and laboratory data via machine learning model. - Songchang Chen; Jia Li; Xiao Zhang; Wenqiu Xu; Zhixu Qiu; Siyao Yan; Wenrui Zhao; Zhiguang Zhao; Peirun Tian; Qiang Zhao; Qun Zhang; Weiping Chen; et al. (BMC Medical Informatics Decis. Mak., 2025)