Willem Conradie

Willem Conradie

University of the Witwatersrand - Johannesburg / South Africa
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 92134
Universiteit van die Witwatersrand
person_outline Willem Conradie's MOST POPULAR ARTICLES
1-) Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMAW Conradie, V Goranko, D VakarelovarXiv preprint cs/0602024, 20061162006
2-) Algorithmic correspondence and canonicity for distributive modal logicW Conradie, A PalmigianoAnnals of Pure and Applied Logic 163 (3), 338-376, 20121152012
3-) Algorithmic correspondence and canonicity for non-distributive logicsW Conradie, A PalmigianoAnnals of Pure and Applied Logic 170 (9), 923-974, 20191052019
4-) Unified correspondenceW Conradie, S Ghilardi, A PalmigianoJohan van Benthem on logic and information dynamics, 933-975, 20141192014
5-) Definitorially Complete Description Logics.B Ten Cate, W Conradie, M Marx, Y VenemaKR 6, 79-89, 2006832006