Follow
Willem Conradie
Willem Conradie
Professor of Mathematics, University of the Witwatersrand
Verified email at wits.ac.za
Title
Cited by
Cited by
Year
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
W Conradie, V Goranko, D Vakarelov
arXiv preprint cs/0602024, 2006
1142006
Algorithmic correspondence and canonicity for distributive modal logic
W Conradie, A Palmigiano
Annals of Pure and Applied Logic 163 (3), 338-376, 2012
1082012
Algorithmic correspondence and canonicity for non-distributive logics
W Conradie, A Palmigiano
Annals of Pure and Applied Logic 170 (9), 923-974, 2019
1002019
Unified correspondence
W Conradie, S Ghilardi, A Palmigiano
Johan van Benthem on logic and information dynamics, 933-975, 2014
992014
Definitorially Complete Description Logics.
B Ten Cate, W Conradie, M Marx, Y Venema
KR 6, 79-89, 2006
732006
Algebraic modal correspondence: Sahlqvist and beyond
W Conradie, A Palmigiano, S Sourabh
Journal of Logical and Algebraic Methods in Programming 91, 60-84, 2017
502017
Algorithmic correspondence for intuitionistic modal mu-calculus
W Conradie, Y Fomatati, A Palmigiano, S Sourabh
Theoretical Computer Science 564, 30-62, 2015
492015
On Sahlqvist theory for hybrid logics
W Conradie, C Robinson
Journal of Logic and Computation 27 (3), 867-900, 2017
472017
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
472016
Constructive canonicity of inductive inequalities
A Palmigiano, W Conradie
Logical Methods in Computer Science 16, 2020
412020
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
382015
Canonicity results for mu-calculi: an algorithmic approach
W Conradie, A Craig
Journal of Logic and Computation 27 (3), 705-748, 2017
372017
Sahlqvist via translation
W Conradie, A Palmigiano, Z Zhao
arXiv preprint arXiv:1603.08220, 2016
352016
Toward an epistemic-logical theory of categorization
W Conradie, S Frittella, A Palmigiano, M Piazzai, A Tzimoulis, ...
arXiv preprint arXiv:1707.08743, 2017
312017
Elementary canonical formulae: a survey on syntactic, algorithmic, and modeltheoretic aspects
W Conradie, V Goranko, D Vakarelov
312005
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
302006
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
232017
On the strength and scope of DLS
W Conradie
Journal of Applied Non-Classical Logics 16 (3-4), 279-296, 2006
232006
The Beth property for three extensions of modal logic
W Conradie
212002
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
182010
The system can't perform the operation now. Try again later.
Articles 1–20