| Unified Correspondence as a Proof-Theoretic Tool G Greco, M Ma, A Palmigiano, A Tzimoulis, Z Zhao Journal of Logic and Computation 28 (7), 1367–1442, 2018 | 103 | 2018 |
| Sahlqvist theory for impossible worlds A Palmigiano, S Sourabh, Z Zhao Journal of Logic and Computation 27 (3), 775–816, 2017 | 59 | 2017 |
| Sahlqvist via translation W Conradie, A Palmigiano, Z Zhao Logical Methods in Computer Science 15 (1), 1-35, 2019 | 42 | 2019 |
| Canonicity and relativized canonicity via pseudo-correspondence: an application of ALBA W Conradie, A Palmigiano, S Sourabh, Z Zhao arXiv preprint arXiv:1511.04271, 2015 | 40 | 2015 |
| J'onsson-Style Canonicity for ALBA-Inequalities A PALMIGIANO, S SOURABH, Z ZHAO Journal of Logic and Computation 27 (3), 817–865, 2017 | 35 | 2017 |
| Constructive canonicity for lattice-based fixed point logics W Conradie, A Craig, A Palmigiano, Z Zhao WoLLIC 2017 10388, 92-109, 2017 | 34* | 2017 |
| Unified correspondence and proof theory for strict implication M Ma, Z Zhao Journal of Logic and Computation 27 (3), 921-960, 2017 | 25 | 2017 |
| Positive formulas in intuitionistic and minimal logic DHJ de Jongh, Z Zhao TbiLLC 2013 8984, 175-189, 2015 | 13 | 2015 |
| Algorithmic correspondence and canonicity for possibility semantics Z Zhao Journal of Logic and Computation 31 (2), 523–572, 2021 | 11 | 2021 |
| Universal models for the positive fragment of intuitionistic logic N Bezhanishvili, D de Jongh, A Tzimoulis, Z Zhao TbiLLC 2015 10148, 229-250, 2017 | 11* | 2017 |
| Algorithmic correspondence for hybrid logic with binder Z Zhao Logic Journal of the IGPL 31 (1), 39-67, 2023 | 8 | 2023 |
| Numerical Expressive Power of Logical Languages with Cardinality Comparison Operators X Fu, Z Zhao Journal of Logic and Computation, 2024 | 6* | 2024 |
| Algorithmic correspondence theory for sabotage modal logic Z Zhao Studies in Logic 15 (6), 66-92, 2022 | 5* | 2022 |
| Algebraic canonicity in non-classical logics Z Zhao Institute for Logic, Language and Computation, University of Amsterdam, 2013 | 5 | 2013 |
| Generalized ultraproduct and Kirman-Sondermann correspondence for vote abstention G Bedrosian, A Palmigiano, Z Zhao LORI 2015 9394, 27-39, 2015 | 4 | 2015 |
| An Abstract Algebraic Logic view on Judgment Aggregation M Esteban, A Palmigiano, Z Zhao LORI 2015 9394, 77-89, 2015 | 4 | 2015 |
| Decidability for modal logic with counting ML (#) in different frame classes X Fu, Z Zhao Studies in Logic 17 (3), 2024 | 3 | 2024 |
| Correspondence theory for modal logic with counting X Fu, Z Zhao Submitted, 2023 | 3 | 2023 |
| Axiomatization of Modal logic with counting X Fu, Z Zhao Logic Journal of the IGPL, 2024 | 2* | 2024 |
| Taming" McKinsey-like" formula: An Extended Correspondence and Completeness Theory for Hybrid Logic H (@) Z Zhao arXiv preprint arXiv:2210.04433, 2022 | 2 | 2022 |
Alessandra PalmigianoVrije Universiteit Amsterdam在 vu.nl 的电子邮件经过验证
