Willem Conradie
Willem Conradie
Associate Professor of Mathematics, University of the Witwatersrand
Email verificata su wits.ac.za
Titolo
Citata da
Citata da
Anno
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
W Conradie, V Goranko, D Vakarelov
arXiv preprint cs/0602024, 2006
932006
Algorithmic correspondence and canonicity for distributive modal logic
W Conradie, A Palmigiano
Annals of Pure and Applied Logic 163 (3), 338-376, 2012
902012
Unified correspondence
W Conradie, S Ghilardi, A Palmigiano
Johan van Benthem on logic and information dynamics, 933-975, 2014
792014
Algorithmic correspondence and canonicity for non-distributive logics
W Conradie, A Palmigiano
Annals of Pure and Applied Logic 170 (9), 923-974, 2019
782019
Definitorially Complete Description Logics.
B Ten Cate, W Conradie, M Marx, Y Venema
KR 6, 79-89, 2006
652006
Algorithmic correspondence for intuitionistic modal mu-calculus
W Conradie, Y Fomatati, A Palmigiano, S Sourabh
Theoretical Computer Science 564, 30-62, 2015
442015
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
422017
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 results for mu-calculi: an algorithmic approach
W Conradie, A Craig
Journal of Logic and Computation 27 (3), 705-748, 2017
362017
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
352015
Constructive canonicity of inductive inequalities
W Conradie, A Palmigiano
arXiv preprint arXiv:1603.08341, 2016
332016
Elementary canonical formulae: a survey on syntactic, algorithmic, and modeltheoretic aspects
W Conradie, V Goranko, D Vakarelov
282005
Sahlqvist via translation
W Conradie, A Palmigiano, Z Zhao
arXiv preprint arXiv:1603.08220, 2016
262016
Toward an epistemic-logical theory of categorization
W Conradie, S Frittella, A Palmigiano, M Piazzai, A Tzimoulis, ...
arXiv preprint arXiv:1707.08743, 2017
242017
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
232006
On the strength and scope of DLS
W Conradie
Journal of Applied Non-Classical Logics 16 (3-4), 279-296, 2006
222006
The Beth property for three extensions of modal logic
W Conradie
212002
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
202017
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
Il sistema al momento non pu eseguire l'operazione. Riprova pi tardi.
Articoli 1–20