| 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 | 95 | 2018 |
| Sahlqvist theory for impossible worlds A Palmigiano, S Sourabh, Z Zhao Journal of Logic and Computation 27 (3), 775–816, 2017 | 58 | 2017 |
| Sahlqvist via translation W Conradie, A Palmigiano, Z Zhao Logical Methods in Computer Science 15 (1), 1-35, 2019 | 41 | 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 | 38 | 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 | 33* | 2017 |
| Unified correspondence and proof theory for strict implication M Ma, Z Zhao Journal of Logic and Computation 27 (3), 921-960, 2017 | 24 | 2017 |
| Universal models for the positive fragment of intuitionistic logic N Bezhanishvili, D de Jongh, A Tzimoulis, Z Zhao TbiLLC 2015 10148, 229-250, 2017 | 12* | 2017 |
| Positive formulas in intuitionistic and minimal logic DHJ de Jongh, Z Zhao TbiLLC 2013 8984, 175-189, 2015 | 12 | 2015 |
| Algorithmic correspondence and canonicity for possibility semantics Z Zhao Journal of Logic and Computation 31 (2), 523–572, 2021 | 9 | 2021 |
| Algorithmic correspondence for hybrid logic with binder Z Zhao Logic Journal of the IGPL 31 (1), 39-67, 2023 | 7 | 2023 |
| Modal logic with counting: Definability, semilinear sets and correspondence theory X Fu, Z Zhao Submitted, 2023 | 5 | 2023 |
| Algebraic canonicity in non-classical logics Z Zhao Institute for Logic, Language and Computation, University of Amsterdam, 2013 | 5 | 2013 |
| Algorithmic Correspondence Theory for Sabotage Modal Logic Z Zhao Studies in Logic 15 (6), 66-92, 2022 | 4* | 2022 |
| Generalized ultraproduct and Kirman-Sondermann correspondence for vote abstention G Bedrosian, A Palmigiano, Z Zhao LORI 2015 9394, 27-39, 2015 | 4 | 2015 |
| Decidability for modal logic with counting ML (#) in different frame classes X Fu, Z Zhao Submitted, 2023 | 3 | 2023 |
| An Abstract Algebraic Logic view on Judgment Aggregation M Esteban, A Palmigiano, Z Zhao LORI 2015 9394, 77-89, 2015 | 3 | 2015 |
| Modal Logic with Counting: Axiomatic and Model Theoretic Aspects X Fu, Z Zhao Submitted, 2023 | 2* | 2023 |
| Taming" McKinsey-like" formula: An Extended Correspondence and Completeness Theory for Hybrid Logic H (@) Z Zhao arXiv preprint arXiv:2210.04433, 2022 | 2 | 2022 |
| Correspondence Theory for Generalized Modal Algebras Z Zhao WoLLIC 2022 13468, 53-69, 2022 | 1 | 2022 |
Alessandra PalmigianoVrije Universiteit AmsterdamVerified email at vu.nl
