| Canonical extensions and relational completeness of some substructural logics JM Dunn, M Gehrke, A Palmigiano The Journal of Symbolic Logic 70 (3), 713-740, 2005 | 192 | 2005 |
| Algorithmic correspondence and canonicity for non-distributive logics W Conradie, A Palmigiano Annals of Pure and Applied Logic 170 (9), 923-974, 2019 | 139 | 2019 |
| Algorithmic correspondence and canonicity for distributive modal logic W Conradie, A Palmigiano Annals of Pure and Applied Logic 163 (3), 338-376, 2012 | 139 | 2012 |
| Unified correspondence W Conradie, S Ghilardi, A Palmigiano Johan van Benthem on logic and information dynamics, 933-975, 2014 | 125 | 2014 |
| 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 | 118 | 2018 |
| Algebraic semantics and model completeness for intuitionistic public announcement logic M Ma, A Palmigiano, M Sadrzadeh Annals of Pure and Applied Logic 165 (4), 963-995, 2014 | 76 | 2014 |
| Multi-type display calculus for dynamic epistemic logic S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic Journal of Logic and Computation 26 (6), 2017-2065, 2016 | 75 | 2016 |
| 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 | 74 | 2016 |
| Multi-type sequent calculi S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic arXiv preprint arXiv:1609.05343, 2016 | 69 | 2016 |
| Multi-type display calculus for propositional dynamic logic S Frittella, G Greco, A Kurz, A Palmigiano Journal of Logic and Computation 26 (6), 2067–2104, 2016 | 65 | 2016 |
| A multi-type calculus for inquisitive logic S Frittella, G Greco, A Palmigiano, F Yang International Workshop on Logic, Language, Information, and Computation, 215-233, 2016 | 62 | 2016 |
| Sahlqvist theory for impossible worlds A Palmigiano, S Sourabh, Z Zhao Journal of Logic and Computation 27 (3), 775-816, 2017 | 61 | 2017 |
| Epistemic updates on algebras AA Kurz, AA Palmigiano Logical Methods in Computer Science 9, 2013 | 60 | 2013 |
| Algebraic modal correspondence: Sahlqvist and beyond W Conradie, A Palmigiano, S Sourabh Journal of Logical and Algebraic Methods in Programming 91, 60-84, 2017 | 58 | 2017 |
| Toward an epistemic-logical theory of categorization W Conradie, S Frittella, A Palmigiano, M Piazzai, A Tzimoulis, ... Proc. TARK 2017, J. Lang ed., Electronic Proceedings in Theoretical Computer …, 2017 | 55 | 2017 |
| A proof-theoretic semantic analysis of dynamic epistemic logic S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimić Journal of Logic and Computation 26 (6), 1961-2015, 2016 | 55 | 2016 |
| Constructive canonicity of inductive inequalities W Conradie, A Palmigiano Logical Methods in Computer Science Volume 16, Issue 3, 2020, pp. 8:1–8:39 …, 2020 | 54 | 2020 |
| Algorithmic correspondence for intuitionistic modal mu-calculus W Conradie, Y Fomatati, A Palmigiano, S Sourabh Theoretical Computer Science 564, 30-62, 2015 | 53 | 2015 |
| Dynamic epistemic logic displayed G Greco, A Kurz, A Palmigiano International Workshop on Logic, Rationality and Interaction, 135-148, 2013 | 52 | 2013 |
| Proof systems for the coalgebraic cover modality. M Bílková, A Palmigiano, Y Venema Advances in modal logic 7, 1-21, 2008 | 49 | 2008 |
Willem ConradieProfessor of Mathematics, University of the WitwatersrandVerified email at wits.ac.za
