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
1032006
Algorithmic correspondence and canonicity for distributive modal logic
W Conradie, A Palmigiano
Annals of Pure and Applied Logic 163 (3), 338-376, 2012
952012
Unified correspondence
W Conradie, S Ghilardi, A Palmigiano
Johan van Benthem on logic and information dynamics, 933-975, 2014
842014
Algorithmic correspondence and canonicity for non-distributive logics
W Conradie, A Palmigiano
Annals of Pure and Applied Logic 170 (9), 923-974, 2019
832019
Definitorially Complete Description Logics.
B Ten Cate, W Conradie, M Marx, Y Venema
KR 6, 79-89, 2006
682006
Algorithmic correspondence for intuitionistic modal mu-calculus
W Conradie, Y Fomatati, A Palmigiano, S Sourabh
Theoretical Computer Science 564, 30-62, 2015
462015
Algebraic modal correspondence: Sahlqvist and beyond
W Conradie, A Palmigiano, S Sourabh
Journal of Logical and Algebraic Methods in Programming 91, 60-84, 2017
432017
On Sahlqvist theory for hybrid logics
W Conradie, C Robinson
Journal of Logic and Computation 27 (3), 867-900, 2017
432017
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
402016
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
372015
Canonicity results for mu-calculi: an algorithmic approach
W Conradie, A Craig
Journal of Logic and Computation 27 (3), 705-748, 2017
362017
Constructive canonicity of inductive inequalities
W Conradie, A Palmigiano
arXiv preprint arXiv:1603.08341, 2016
332016
Sahlqvist via translation
W Conradie, A Palmigiano, Z Zhao
arXiv preprint arXiv:1603.08220, 2016
302016
Elementary canonical formulae: a survey on syntactic, algorithmic, and modeltheoretic aspects
W Conradie, V Goranko, D Vakarelov
292005
Toward an epistemic-logical theory of categorization
W Conradie, S Frittella, A Palmigiano, M Piazzai, A Tzimoulis, ...
arXiv preprint arXiv:1707.08743, 2017
252017
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
252006
On the strength and scope of DLS
W Conradie
Journal of Applied Non-Classical Logics 16 (3-4), 279-296, 2006
232006
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
212017
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
172010
The system can't perform the operation now. Try again later.
Articles 1–20