Zhiguang Zhao
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2017–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | WoLLIC | Model Comparison Game and n-Bisimulation for Conditional Logic. | Xiaoxuan Fu, Zhiguang Zhao |
| 2025 | ECSQARU | A Kripke Semantics for Monadic BL Chains. | Andrew Lewis-Smith, Zhiguang Zhao |
| 2025 | JELIA | A Kripke Semantics for Intuitionistic Łukasiewicz Logic with Weak Excluded Middle. | Andrew Lewis-Smith, Zhiguang Zhao |
| 2022 | WoLLIC | Correspondence Theory for Generalized Modal Algebras. | Zhiguang Zhao |
| 2021 | KR | Sahlqvist-type Correspondence Theory for Second-Order Propositional Modal Logic (Short Paper). | Zhiguang Zhao |
| 2017 | WoLLIC | Constructive Canonicity for Lattice-Based Fixed Point Logics. | Willem Conradie, Andrew Craig, Alessandra Palmigiano, Zhiguang Zhao |
| 2017 | WoLLIC | Algorithmic Sahlqvist Preservation for Modal Compact Hausdorff Spaces. | Zhiguang Zhao |