Algorithmic correspondence and canonicity for distributive modal logic W Conradie, A Palmigiano Annals of Pure and Applied Logic 163 (3), 338-376, 2012 | 129 | 2012 |

Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA W Conradie, V Goranko, D Vakarelov Logical methods in computer science 2, 2006 | 122 | 2006 |

Algorithmic correspondence and canonicity for non-distributive logics W Conradie, A Palmigiano Annals of Pure and Applied Logic 170 (9), 923-974, 2019 | 116 | 2019 |

Unified correspondence W Conradie, S Ghilardi, A Palmigiano Johan van Benthem on logic and information dynamics, 933-975, 2014 | 114 | 2014 |

Definitorially Complete Description Logics. B Ten Cate, W Conradie, M Marx, Y Venema KR 6, 79-89, 2006 | 81 | 2006 |

Categories: how I learned to stop worrying and love two sorts W Conradie, S Frittella, A Palmigiano, M Piazzai, A Tzimoulis, ... Logic, Language, Information, and Computation: 23rd International Workshop …, 2016 | 61 | 2016 |

Algebraic modal correspondence: Sahlqvist and beyond W Conradie, A Palmigiano, S Sourabh Journal of Logical and Algebraic Methods in Programming 91, 60-84, 2017 | 55 | 2017 |

Algorithmic correspondence for intuitionistic modal mu-calculus W Conradie, Y Fomatati, A Palmigiano, S Sourabh Theoretical Computer Science 564, 30-62, 2015 | 53 | 2015 |

Constructive canonicity of inductive inequalities W Conradie, A Palmigiano Logical Methods in Computer Science 16, 2020 | 51 | 2020 |

On Sahlqvist theory for hybrid logics W Conradie, C Robinson Journal of Logic and Computation 27 (3), 867-900, 2017 | 51 | 2017 |

Toward an epistemic-logical theory of categorization W Conradie, S Frittella, A Palmigiano, M Piazzai, A Tzimoulis, ... arXiv preprint arXiv:1707.08743, 2017 | 43 | 2017 |

Sahlqvist via translation W Conradie, A Palmigiano, Z Zhao Logical Methods in Computer Science 15, 2019 | 42 | 2019 |

Canonicity results for mu-calculi: an algorithmic approach W Conradie, A Craig Journal of Logic and Computation 27 (3), 705-748, 2017 | 40 | 2017 |

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 |

Rough concepts W Conradie, S Frittella, K Manoorkar, S Nazari, A Palmigiano, A Tzimoulis, ... Information Sciences 561, 371-413, 2021 | 31 | 2021 |

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 | 31 | 2006 |

Elementary canonical formulae: a survey on syntactic, algorithmic, and modeltheoretic aspects W Conradie, V Goranko, D Vakarelov | 31 | 1998 |

Non-distributive logics: from semantics to meaning W Conradie, A Palmigiano, C Robinson, N Wijnberg arXiv preprint arXiv:2002.04257, 2020 | 29 | 2020 |

Constructive canonicity for lattice-based fixed point logics W Conradie, A Craig, A Palmigiano, Z Zhao Logic, Language, Information, and Computation: 24th International Workshop …, 2017 | 27 | 2017 |

Logic and discrete mathematics: a concise introduction W Conradie, V Goranko John Wiley & Sons, 2015 | 26 | 2015 |