Zhiguang Zhao
Technische Universiteit Delft
H-index: 10
Europe-Netherlands
Top articles of Zhiguang Zhao
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
A calculus for modal compact Hausdorff spaces | arXiv preprint arXiv:2402.00528 | Nick Bezhanishvili Luca Carai Silvio Ghilardi Zhiguang Zhao | 2024/2/1 |
Dynamic Modal Logic with Counting: when Reduction Axioms Work and Fail | CLAR 2023, LNCS 14156 | Xiaoxuan Fu Zhiguang Zhao | 2023 |
A Logic for Preference Lifting Under Uncertainty and Its Decidability | Xiaoxuan Fu Zhiguang Zhao | 2023/8/2 | |
Numerical Expressive Power of Logical Languages with Cardinality Comparison Operators | Xiaoxuan Fu Zhiguang Zhao | 2023 | |
Jónsson-Style Canonicity in Distributive Modal µ-Calculus | Logic Journal of the IGPL | Zhiguang Zhao | 2023/6 |
Decidability for modal logic with counting ML (#) in different frame classes | Xiaoxuan Fu Zhiguang Zhao | 2023 | |
Sahlqvist correspondence theory for second-order propositional modal logic | Journal of Logic and Computation | Zhiguang Zhao | 2023/4 |
Modal Logic with Counting: Axiomatic and Model Theoretic Aspects | Submitted | Xiaoxuan Fu Zhiguang Zhao | 2023 |
Algorithmic correspondence for hybrid logic with binder | Logic Journal of the IGPL | Zhiguang Zhao | 2023/2 |
Sahlqvist Completeness Theory for Hybrid Logic with Downarrow Binder | Logic Journal of the IGPL | Zhiguang Zhao | 2023 |
Correspondence theory for modal logic with counting | Xiaoxuan Fu Zhiguang Zhao | 2023 | |
Correspondence Theory for Modal Fairtlough–Mendler Semantics of Intuitionistic Modal Logic | Studia Logica | Zhiguang Zhao | 2023/12 |
Correspondence and Canonicity Theory of Quasi-Inequalities and -Statements in Modal Subordination Algebras | Logic Journal of the IGPL | Zhiguang Zhao | 2023 |
Taming" McKinsey-like" formula: An Extended Correspondence and Completeness Theory for Hybrid Logic H (@) | arXiv preprint arXiv:2210.04433 | Zhiguang Zhao | 2022/10/10 |
Correspondence Theory for Generalized Modal Algebras | Zhiguang Zhao | 2022/9/9 | |
Algorithmic correspondence theory for sabotage modal logic | Studies in Logic | Zhiguang Zhao | 2022 |
Undecidability Results of Modal Definability in Extended Modal Languages | Studies in Logic | Zhiguang Zhao | 2021 |
扩展模态语言中模态可定义性的不可判定性结果 | 逻辑学研究 | 赵之光 | 2021/12/18 |
Algorithmic correspondence and canonicity for possibility semantics | Journal of Logic and Computation | Zhiguang Zhao | 2021/3 |