Zhiguang Zhao - RankMe

44 papers C 4Journal 29Unranked 11

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	A Kripke Semantics for Intuitionistic Łukasiewicz Logic with Weak Excluded Middle. JELIA (1) Andrew Lewis-Smith, Zhiguang Zhao
2025	C	`conf`	A Kripke Semantics for Monadic BL Chains. ECSQARU Andrew Lewis-Smith, Zhiguang Zhao
2025	J	`jnl`	A calculus for modal compact Hausdorff spaces. J. Log. Comput. Nick Bezhanishvili, Luca Carai, Silvio Ghilardi, Zhiguang Zhao
2025	J	`jnl`	Hybrid Logic of Strict Betweenness. J. Philos. Log. Rafal Gruszczynski, Zhiguang Zhao
2025	—	`conf`	Modal Equivalence, n-Bisimulation and Model Comparison Game for Basic Neighbourhood Logic. CLAR Xiaoxuan Fu, Zhiguang Zhao
2025	J	`jnl`	Numerical expressive power of logical languages with cardinality comparison. J. Log. Comput. Xiaoxuan Fu, Zhiguang Zhao
2025	J	`jnl`	Predicting preeclampsia in early pregnancy using clinical and laboratory data via machine learning model. BMC Medical Informatics Decis. Mak. Songchang Chen, Jia Li, Xiao Zhang, Wenqiu Xu, Zhixu Qiu, Siyao Yan, Wenrui Zhao, Zhiguang Zhao, Peirun Tian, Qiang Zhao, Qun Zhang, Weiping Chen, Huahua Li, Xiaohong Ruan, Gefei Xiao, Sufen Zhang, Liqing Hu, Jie Qin, Wuyan Huang, Zhongzhe Li, Shunyao Wang, Rui Zhang, Shang Huang, Xin Wang, Yao Yao, Jian Ran, Danling Cheng, Qi Luo, Teng Pan, Ruyun Gao, Jing Zheng, Yuxuan Wang, Cong Liu, Xianling Cao, Xuanyou Zhou, Naixin Xu, Lanlan Zhang, Xu Han, Haolin Wang, Suihua Feng, Shuyuan Li, Jianguo Zhang, Lijian Zhao, Fengxiang Wei
2024	J	`jnl`	An improved RIME optimization algorithm for lung cancer image segmentation. Comput. Biol. Medicine Lei Guo, Lei Liu, Zhiguang Zhao, Xiaodong Xia
2024	J	`jnl`	Correspondence and canonicity theory of quasi-inequalities and Log. J. IGPL Zhiguang Zhao
2024	J	`jnl`	Enhancing identification performance of cognitive impairment high-risk based on a semi-supervised learning method. J. Biomed. Informatics Sumei Yao, Yan Zhang, Jing Chen, Quan Lu, Zhiguang Zhao
2024	J	`jnl`	Integrating multi-task and cost-sensitive learning for predicting mortality risk of chronic diseases in the elderly using real-world data. Int. J. Medical Informatics Aosheng Cheng, Yan Zhang, Zhiqiang Qian, Xueli Yuan, Sumei Yao, Wenqing Ni, Yijin Zheng, Hongmin Zhang, Quan Lu, Zhiguang Zhao
2024	J	`jnl`	Sahlqvist completeness theory for hybrid logic with downarrow binder. Log. J. IGPL Zhiguang Zhao
2023	—	`conf`	A Logic for Preference Lifting Under Uncertainty and Its Decidability. CLAR Xiaoxuan Fu, Zhiguang Zhao
2023	J	`jnl`	Algorithmic correspondence for hybrid logic with binder. Log. J. IGPL Zhiguang Zhao
2023	J	`jnl`	Correspondence Theory for Modal Fairtlough-Mendler Semantics of Intuitionistic Modal Logic. Stud Logica Zhiguang Zhao
2023	—	`conf`	Correspondence Theory of Modal Logic with Counting. Tbilisi Xiaoxuan Fu, Zhiguang Zhao
2023	—	`conf`	Dynamic Modal Logic with Counting: When Reduction Axioms Work and Fail. CLAR Xiaoxuan Fu, Zhiguang Zhao
2023	J	`jnl`	Jónsson-style canonicity in distributive modal Log. J. IGPL Zhiguang Zhao
2023	J	`jnl`	Sahlqvist correspondence theory for second-order propositional modal logic. J. Log. Comput. Zhiguang Zhao
2022	C	`conf`	Correspondence Theory for Generalized Modal Algebras. WoLLIC Zhiguang Zhao
2022	J	`jnl`	Correspondence Theory for Modal Fairtlough-Mendler Semantics of Intuitionistic Modal Logic. CoRR Zhiguang Zhao
2022	J	`jnl`	Sahlqvist-Type Completeness Theory for Hybrid Logic with Binder. CoRR Zhiguang Zhao
2022	J	`jnl`	Taming "McKinsey-like" formula: An Extended Correspondence and Completeness Theory for Hybrid Logic H(@). CoRR Zhiguang Zhao
2021	J	`jnl`	Algorithmic Correspondence for Hybrid Logic with Binder. CoRR Zhiguang Zhao
2021	J	`jnl`	Algorithmic correspondence and canonicity for possibility semantics. J. Log. Comput. Zhiguang Zhao
2021	J	`jnl`	Sahlqvist Correspondence Theory for Second-Order Propositional Modal Logic. CoRR Zhiguang Zhao
2021	—	`conf`	Sahlqvist-type Correspondence Theory for Second-Order Propositional Modal Logic (Short Paper). SOQE@KR Zhiguang Zhao
2020	J	`jnl`	Sahlqvist Correspondence Theory for Instantial Neighbourhood Logic. CoRR Zhiguang Zhao
2020	J	`jnl`	Sahlqvist Correspondence Theory for Sabotage Modal Logic. CoRR Zhiguang Zhao
2019	J	`jnl`	Sahlqvist via Translation. Log. Methods Comput. Sci. Willem Conradie, Alessandra Palmigiano, Zhiguang Zhao
2018	J	`jnl`	Unified correspondence as a proof-theoretic tool. J. Log. Comput. Giuseppe Greco, Minghui Ma, Alessandra Palmigiano, Apostolos Tzimoulis, Zhiguang Zhao
2017	—	`conf`	Algorithmic Correspondence and Canonicity for Possibility Semantics (Abstract). SOQE Zhiguang Zhao
2017	C	`conf`	Algorithmic Sahlqvist Preservation for Modal Compact Hausdorff Spaces. WoLLIC Zhiguang Zhao
2017	C	`conf`	Constructive Canonicity for Lattice-Based Fixed Point Logics. WoLLIC Willem Conradie, Andrew Craig, Alessandra Palmigiano, Zhiguang Zhao
2017	J	`jnl`	Jónsson-style canonicity for ALBA-inequalities. J. Log. Comput. Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao
2017	J	`jnl`	Sahlqvist theory for impossible worlds. J. Log. Comput. Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao
2017	J	`jnl`	Unified correspondence and proof theory for strict implication. J. Log. Comput. Minghui Ma, Zhiguang Zhao
2016	J	`jnl`	An Abstract Algebraic Logic View on Judgment Aggregation. CoRR María Esteban, Alessandra Palmigiano, Zhiguang Zhao
2016	J	`jnl`	Unified Correspondence as a Proof-Theoretic Tool. CoRR Giuseppe Greco, Minghui Ma, Alessandra Palmigiano, Apostolos Tzimoulis, Zhiguang Zhao
2015	—	`conf`	An Abstract Algebraic Logic View on Judgment Aggregation. LORI María Esteban, Alessandra Palmigiano, Zhiguang Zhao
2015	J	`jnl`	Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA. CoRR Willem Conradie, Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao
2015	—	`conf`	Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention. LORI Geghard Bedrosian, Alessandra Palmigiano, Zhiguang Zhao
2015	—	`conf`	Universal Models for the Positive Fragment of Intuitionistic Logic. TbiLLC Nick Bezhanishvili, Dick de Jongh, Apostolos Tzimoulis, Zhiguang Zhao
2013	—	`conf`	Positive Formulas in Intuitionistic and Minimal Logic. TbiLLC Dick de Jongh, Zhiguang Zhao