Zhiguang Zhao

According to our database, Zhiguang Zhao authored at least 25 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Correspondence Theory for Modal Fairtlough-Mendler Semantics of Intuitionistic Modal Logic.

Zhiguang Zhao

Stud Logica, December, 2023

Jónsson-style canonicity in distributive modal <i>µ</i>-calculus.

Zhiguang Zhao

Log. J. IGPL, May, 2023

Sahlqvist correspondence theory for second-order propositional modal logic.

Zhiguang Zhao

J. Log. Comput., April, 2023

Algorithmic correspondence for hybrid logic with binder.

Zhiguang Zhao

Log. J. IGPL, January, 2023

A Logic for Preference Lifting Under Uncertainty and Its Decidability.

Xiaoxuan Fu, Zhiguang Zhao

Proceedings of the Logic and Argumentation - 5th International Conference, 2023

Dynamic Modal Logic with Counting: When Reduction Axioms Work and Fail.

Xiaoxuan Fu, Zhiguang Zhao

Proceedings of the Logic and Argumentation - 5th International Conference, 2023

2022

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

Zhiguang Zhao

CoRR, 2022

Sahlqvist-Type Completeness Theory for Hybrid Logic with Binder.

Zhiguang Zhao

CoRR, 2022

Correspondence Theory for Generalized Modal Algebras.

Zhiguang Zhao

Proceedings of the Logic, Language, Information, and Computation, 2022

2021

Algorithmic correspondence and canonicity for possibility semantics.

Zhiguang Zhao

J. Log. Comput., 2021

Sahlqvist-type Correspondence Theory for Second-Order Propositional Modal Logic (Short Paper).

Zhiguang Zhao

Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), 2021

2020

Sahlqvist Correspondence Theory for Sabotage Modal Logic.

Zhiguang Zhao

CoRR, 2020

2019

Sahlqvist via Translation.

Willem Conradie, Alessandra Palmigiano, Zhiguang Zhao

Log. Methods Comput. Sci., 2019

2018

Unified correspondence as a proof-theoretic tool.

Giuseppe Greco, Minghui Ma, Alessandra Palmigiano, Apostolos Tzimoulis, Zhiguang Zhao

J. Log. Comput., 2018

2017

Jónsson-style canonicity for ALBA-inequalities.

Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao

J. Log. Comput., 2017

Sahlqvist theory for impossible worlds.

Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao

J. Log. Comput., 2017

Unified correspondence and proof theory for strict implication.

Minghui Ma, Zhiguang Zhao

J. Log. Comput., 2017

Algorithmic Sahlqvist Preservation for Modal Compact Hausdorff Spaces.

Zhiguang Zhao

Proceedings of the Logic, Language, Information, and Computation, 2017

Constructive Canonicity for Lattice-Based Fixed Point Logics.

Willem Conradie, Andrew Craig, Alessandra Palmigiano, Zhiguang Zhao

Proceedings of the Logic, Language, Information, and Computation, 2017

Algorithmic Correspondence and Canonicity for Possibility Semantics (Abstract).

Zhiguang Zhao

Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), 2017

2015

Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA.

Willem Conradie, Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao

CoRR, 2015

Universal Models for the Positive Fragment of Intuitionistic Logic.

Nick Bezhanishvili, Dick de Jongh, Apostolos Tzimoulis, Zhiguang Zhao

Proceedings of the Logic, Language, and Computation, 2015

An Abstract Algebraic Logic View on Judgment Aggregation.

María Esteban, Alessandra Palmigiano, Zhiguang Zhao

Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention.

Geghard Bedrosian, Alessandra Palmigiano, Zhiguang Zhao

Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

2013

Positive Formulas in Intuitionistic and Minimal Logic.

Dick de Jongh, Zhiguang Zhao

Proceedings of the Logic, Language, and Computation, 2013