Zhiguang Zhao

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 29

Top Topics

Cognitive Impairment

Top Venues

J. Log. Comput.

Publications

Zhiguang Zhao
Sahlqvist completeness theory for hybrid logic with downarrow binder. Log. J. IGPL 32 (3) (2024)
Sumei Yao, Yan Zhang, Jing Chen, Quan Lu, Zhiguang Zhao
Enhancing identification performance of cognitive impairment high-risk based on a semi-supervised learning method. J. Biomed. Informatics 157 (2024)
Lei Guo, Lei Liu, Zhiguang Zhao, Xiaodong Xia
An improved RIME optimization algorithm for lung cancer image segmentation. Comput. Biol. Medicine 174 (2024)
Zhiguang Zhao
Correspondence Theory for Modal Fairtlough-Mendler Semantics of Intuitionistic Modal Logic. Stud Logica 111 (6) (2023)
Xiaoxuan Fu, Zhiguang Zhao
A Logic for Preference Lifting Under Uncertainty and Its Decidability. CLAR (2023)
Xiaoxuan Fu, Zhiguang Zhao
Dynamic Modal Logic with Counting: When Reduction Axioms Work and Fail. CLAR (2023)
Zhiguang Zhao
Sahlqvist correspondence theory for second-order propositional modal logic. J. Log. Comput. 33 (3) (2023)
Zhiguang Zhao
-calculus. Log. J. IGPL 31 (3) (2023)
Zhiguang Zhao
Algorithmic correspondence for hybrid logic with binder. Log. J. IGPL 31 (1) (2023)
Zhiguang Zhao
Correspondence Theory for Modal Fairtlough-Mendler Semantics of Intuitionistic Modal Logic. CoRR (2022)
Zhiguang Zhao
Correspondence Theory for Generalized Modal Algebras. WoLLIC (2022)
Zhiguang Zhao
Sahlqvist-Type Completeness Theory for Hybrid Logic with Binder. CoRR (2022)
Zhiguang Zhao
Taming "McKinsey-like" formula: An Extended Correspondence and Completeness Theory for Hybrid Logic H(@). CoRR (2022)
Zhiguang Zhao
Algorithmic Correspondence for Hybrid Logic with Binder. CoRR (2021)
Zhiguang Zhao
Sahlqvist Correspondence Theory for Second-Order Propositional Modal Logic. CoRR (2021)
Zhiguang Zhao
Sahlqvist-type Correspondence Theory for Second-Order Propositional Modal Logic (Short Paper). SOQE@KR (2021)
Zhiguang Zhao
Algorithmic correspondence and canonicity for possibility semantics. J. Log. Comput. 31 (2) (2021)
Zhiguang Zhao
Sahlqvist Correspondence Theory for Sabotage Modal Logic. CoRR (2020)
Zhiguang Zhao
Sahlqvist Correspondence Theory for Instantial Neighbourhood Logic. CoRR (2020)
Willem Conradie, Alessandra Palmigiano, Zhiguang Zhao
Sahlqvist via Translation. Log. Methods Comput. Sci. 15 (1) (2019)
Giuseppe Greco, Minghui Ma, Alessandra Palmigiano, Apostolos Tzimoulis, Zhiguang Zhao
Unified correspondence as a proof-theoretic tool. J. Log. Comput. 28 (7) (2018)
Zhiguang Zhao
Algorithmic Sahlqvist Preservation for Modal Compact Hausdorff Spaces. WoLLIC (2017)
Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao
Jónsson-style canonicity for ALBA-inequalities. J. Log. Comput. 27 (3) (2017)
Zhiguang Zhao
Algorithmic Correspondence and Canonicity for Possibility Semantics (Abstract). SOQE (2017)
Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao
Sahlqvist theory for impossible worlds. J. Log. Comput. 27 (3) (2017)
Minghui Ma, Zhiguang Zhao
Unified correspondence and proof theory for strict implication. J. Log. Comput. 27 (3) (2017)
Willem Conradie, Andrew Craig, Alessandra Palmigiano, Zhiguang Zhao
Constructive Canonicity for Lattice-Based Fixed Point Logics. WoLLIC (2017)
Giuseppe Greco, Minghui Ma, Alessandra Palmigiano, Apostolos Tzimoulis, Zhiguang Zhao
Unified Correspondence as a Proof-Theoretic Tool. CoRR (2016)
María Esteban, Alessandra Palmigiano, Zhiguang Zhao
An Abstract Algebraic Logic View on Judgment Aggregation. CoRR (2016)
Willem Conradie, Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao
Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA. CoRR (2015)
María Esteban, Alessandra Palmigiano, Zhiguang Zhao
An Abstract Algebraic Logic View on Judgment Aggregation. LORI (2015)
Nick Bezhanishvili, Dick de Jongh, Apostolos Tzimoulis, Zhiguang Zhao
Universal Models for the Positive Fragment of Intuitionistic Logic. TbiLLC (2015)
Geghard Bedrosian, Alessandra Palmigiano, Zhiguang Zhao
Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention. LORI (2015)
Dick de Jongh, Zhiguang Zhao
Positive Formulas in Intuitionistic and Minimal Logic. TbiLLC (2013)