| Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA W Conradie, V Goranko, D Vakarelov arXiv preprint cs/0602024, 2006 | 114 | 2006 |
| Algorithmic correspondence and canonicity for distributive modal logic W Conradie, A Palmigiano Annals of Pure and Applied Logic 163 (3), 338-376, 2012 | 108 | 2012 |
| Algorithmic correspondence and canonicity for non-distributive logics W Conradie, A Palmigiano Annals of Pure and Applied Logic 170 (9), 923-974, 2019 | 100 | 2019 |
| Unified correspondence W Conradie, S Ghilardi, A Palmigiano Johan van Benthem on logic and information dynamics, 933-975, 2014 | 99 | 2014 |
| Definitorially Complete Description Logics. B Ten Cate, W Conradie, M Marx, Y Venema KR 6, 79-89, 2006 | 73 | 2006 |
| Algebraic modal correspondence: Sahlqvist and beyond W Conradie, A Palmigiano, S Sourabh Journal of Logical and Algebraic Methods in Programming 91, 60-84, 2017 | 50 | 2017 |
| Algorithmic correspondence for intuitionistic modal mu-calculus W Conradie, Y Fomatati, A Palmigiano, S Sourabh Theoretical Computer Science 564, 30-62, 2015 | 49 | 2015 |
| On Sahlqvist theory for hybrid logics W Conradie, C Robinson Journal of Logic and Computation 27 (3), 867-900, 2017 | 47 | 2017 |
| Categories: how I learned to stop worrying and love two sorts W Conradie, S Frittella, A Palmigiano, M Piazzai, A Tzimoulis, ... International Workshop on Logic, Language, Information, and Computation, 145-164, 2016 | 47 | 2016 |
| Constructive canonicity of inductive inequalities A Palmigiano, W Conradie Logical Methods in Computer Science 16, 2020 | 41 | 2020 |
| 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 |
| Canonicity results for mu-calculi: an algorithmic approach W Conradie, A Craig Journal of Logic and Computation 27 (3), 705-748, 2017 | 37 | 2017 |
| Sahlqvist via translation W Conradie, A Palmigiano, Z Zhao arXiv preprint arXiv:1603.08220, 2016 | 35 | 2016 |
| Toward an epistemic-logical theory of categorization W Conradie, S Frittella, A Palmigiano, M Piazzai, A Tzimoulis, ... arXiv preprint arXiv:1707.08743, 2017 | 31 | 2017 |
| Elementary canonical formulae: a survey on syntactic, algorithmic, and modeltheoretic aspects W Conradie, V Goranko, D Vakarelov | 31 | 2005 |
| Algorithmic correspondence and completeness in modal logic. II. Polyadic and hybrid extensions of the algorithm SQEMA W Conradie, V Goranko, D Vakarelov Journal of Logic and Computation 16 (5), 579-612, 2006 | 30 | 2006 |
| Constructive canonicity for lattice-based fixed point logics W Conradie, A Craig, A Palmigiano, Z Zhao International Workshop on Logic, Language, Information, and Computation, 92-109, 2017 | 23 | 2017 |
| On the strength and scope of DLS W Conradie Journal of Applied Non-Classical Logics 16 (3-4), 279-296, 2006 | 23 | 2006 |
| The Beth property for three extensions of modal logic W Conradie | 21 | 2002 |
| Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA W Conradie, V Goranko, D Vakarelov Journal of Applied Logic 8 (4), 319-333, 2010 | 18 | 2010 |
