Willem Conradie

Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA

Willem Conradie, Valentin Goranko, Dimiter Vakarelov · Logical Methods in Computer Science · 2006 · 95 citations · Full text

Core Algorithm Sqema, Engineering, Substructural Logic +15

Algorithmic correspondence and canonicity for distributive modal logic

Willem Conradie, Alessandra Palmigiano · Annals of Pure and Applied Logic · 2011 · 86 citations · Full text

Engineering, Substructural Logic, Automated Reasoning +8

Definitorially complete description logics

Balder ten Cate, Willem Conradie, M. Marx et al. · 2006 · 53 citations

Algorithmic correspondence for intuitionistic modal mu-calculus

Willem Conradie, Yves Fomatati, Alessandra Palmigiano et al. · Theoretical Computer Science · 2014 · 42 citations · Full text

Automated Reasoning, Constructive Logic, Modal Logic +2

On Sahlqvist theory for hybrid logics

Willem Conradie, Claudette Robinson · Journal of Logic and Computation · 2015 · 35 citations

Theory Of Computing, Computational Logic, Non-classical Logic +10