Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects. - Willem Conradie; Valentin Goranko; Dimiter Vakarelov (Advances in Modal Logic, 2004)

Definitorially Complete Description Logics. - Balder ten Cate; Willem Conradie; Maarten Marx; Yde Venema (KR, 2006)

On the strength and scope of DLS. - Willem Conradie (J. Appl. Non Class. Logics, 2006)

Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA. - Willem Conradie; Valentin Goranko; Dimiter Vakarelov (Log. Methods Comput. Sci., 2006)

Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA. - Willem Conradie; Valentin Goranko; Dimiter Vakarelov (J. Log. Comput., 2006)

Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA. - Willem Conradie (M4M, 2007)

Algorithmic correspondence and completeness in modal logic. - Willem Conradie; Valentin Goranko (J. Appl. Non Class. Logics, 2008)

Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions. - Willem Conradie; Valentin Goranko; Dimiter Vakarelov (Fundam. Informaticae, 2009)

Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA. - Willem Conradie; Valentin Goranko; Dimiter Vakarelov (J. Appl. Log., 2010)

On the Expressive Power of First Order-Logic Extended with Allen's Relations in the Strict Case. - Willem Conradie; Guido Sciavicco (CAEPIA, 2011)

An Integrated First-Order Theory of Points and Intervals: Expressive Power in the Class of All Linear Orders. - Willem Conradie; Salih Durhan; Guido Sciavicco (TIME, 2012)

Algorithmic correspondence and canonicity for distributive modal logic. - Willem Conradie; Alessandra Palmigiano (Ann. Pure Appl. Log., 2012)

Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1. - Willem Conradie; Yves Fomatati; Alessandra Palmigiano; Sumit Sourabh (TACL, 2013)

Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2. - Willem Conradie; Yves Fomatati; Alessandra Palmigiano; Sumit Sourabh (TACL, 2013)

An analogue of Bull's theorem for Hybrid Logic. - Claudette Robinson; Willem Conradie (TACL, 2013)

An algebraic look at filtrations in modal logic. - Willem Conradie; Wilmari Morton; Clint J. van Alten (Log. J. IGPL, 2013)

Unified Correspondence. - Willem Conradie; Silvio Ghilardi; Alessandra Palmigiano (Johan van Benthem on Logic and Information Dynamics, 2014)

Logic and Discrete Mathematics - A Concise Introduction. - Willem Conradie; Valentin Goranko (Wiley, 2015)

Logic and Discrete Mathematics - A Concise Introduction, Solutions Manual. - Willem Conradie; Valentin Goranko; Claudette Robinson (Wiley, 2015)

Probabilistic Epistemic Updates on Algebras. - Willem Conradie; Sabine Frittella; Alessandra Palmigiano; Apostolos Tzimoulis (LORI, 2015)

Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA. - Willem Conradie; Alessandra Palmigiano; Sumit Sourabh; Zhiguang Zhao (CoRR, 2015)

Algorithmic correspondence for intuitionistic modal mu-calculus. - Willem Conradie; Yves Fomatati; Alessandra Palmigiano; Sumit Sourabh (Theor. Comput. Sci., 2015)

Categories: How I Learned to Stop Worrying and Love Two Sorts. - Willem Conradie; Sabine Frittella; Alessandra Palmigiano; Michele Piazzai; Apostolos Tzimoulis; Nachoem Wijnberg (WoLLIC, 2016)

Constructive Canonicity for Lattice-Based Fixed Point Logics. - Willem Conradie; Andrew Craig; Alessandra Palmigiano; Zhiguang Zhao (WoLLIC, 2017)

Toward an Epistemic-Logical Theory of Categorization. - Willem Conradie; Sabine Frittella; Alessandra Palmigiano; Michele Piazzai; Apostolos Tzimoulis; Nachoem Wijnberg (TARK, 2017)

Algebraic modal correspondence: Sahlqvist and beyond. - Willem Conradie; Alessandra Palmigiano; Sumit Sourabh (J. Log. Algebraic Methods Program., 2017)

Canonicity results for mu-calculi: an algorithmic approach. - Willem Conradie; Andrew Craig (J. Log. Comput., 2017)

Editorial. - Willem Conradie; Alessandra Palmigiano (J. Log. Comput., 2017)

On Sahlqvist theory for hybrid logics. - Willem Conradie; Claudette Robinson (J. Log. Comput., 2017)

An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I). - Willem Conradie; Salih Durhan; Guido Sciavicco (Log. Methods Comput. Sci., 2018)

Modelling competing theories. - Willem Conradie; Andrew Craig; Alessandra Palmigiano; Nachoem Wijnberg (EUSFLAT Conf., 2019)

Modelling Informational Entropy. - Willem Conradie; Andrew Craig; Alessandra Palmigiano; Nachoem M. Wijnberg (WoLLIC, 2019)

Algorithmic correspondence and canonicity for non-distributive logics. - Willem Conradie; Alessandra Palmigiano (Ann. Pure Appl. Log., 2019)

Analogues of Bull's theorem for hybrid logic. - Willem Conradie; Claudette Robinson (Log. J. IGPL, 2019)

Sahlqvist via Translation. - Willem Conradie; Alessandra Palmigiano; Zhiguang Zhao (Log. Methods Comput. Sci., 2019)

Probabilistic Epistemic Updates on Algebras. - Willem Conradie; Sabine Frittella; Alessandra Palmigiano; Apostolos Tzimoulis; Nachoem Wijnberg (ACM Trans. Comput. Log., 2019)

An Approach to Fuzzy Modal Logic of Time Intervals. - Willem Conradie; Dario Della Monica; Emilio Muñoz-Velasco; Guido Sciavicco (ECAI, 2020)

Time Series Checking with Fuzzy Interval Temporal Logics. - Willem Conradie; Dario Della Monica; Emilio Muñoz-Velasco; Guido Sciavicco; Ionel Eduard Stan (ICTCS, 2020)

An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II). - Willem Conradie; Salih Durhan; Guido Sciavicco (Log. Methods Comput. Sci., 2020)

Constructive Canonicity of Inductive Inequalities. - Willem Conradie; Alessandra Palmigiano (Log. Methods Comput. Sci., 2020)

Algorithmic Correspondence for Relevance Logics, Bunched Implication Logics, and Relation Algebras via an Implementation of the Algorithm PEARL. - Willem Conradie; Valentin Goranko; Peter Jipsen (RAMiCS, 2021)

Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report). - Willem Conradie; Valentin Goranko; Peter Jipsen (CoRR, 2021)

Modelling socio-political competition. - Willem Conradie; Alessandra Palmigiano; Claudette Robinson; Apostolos Tzimoulis; Nachoem Wijnberg (Fuzzy Sets Syst., 2021)

Rough concepts. - Willem Conradie; Sabine Frittella; Krishna Manoorkar; Sajad Nazari; Alessandra Palmigiano; Apostolos Tzimoulis; Nachoem M. Wijnberg (Inf. Sci., 2021)

On parametric phenomena in correspondence theory. - Willem Conradie (AiML, 2022)

Modal inverse correspondence via ALBA. - Willem Conradie; Mattia Panettiere (AiML, 2022)

Unified inverse correspondence for DLE-Logics. - Willem Conradie; Andrea De Domenico; Giuseppe Greco 001; Alessandra Palmigiano; Mattia Panettiere; Apostolos Tzimoulis (CoRR, 2022)

A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's Interval Temporal Logic. - Willem Conradie; Riccardo Monego; Emilio Muñoz-Velasco; Guido Sciavicco; Ionel Eduard Stan (TIME, 2023)

Fuzzy Halpern and Shoham's interval temporal logics. - Willem Conradie; Dario Della Monica; Emilio Muñoz-Velasco; Guido Sciavicco; Ionel Eduard Stan (Fuzzy Sets Syst., 2023)

Prefixed Tableaux and Decision Procedures for Many-Valued Modal Logics. - Guy Axelrod; Willem Conradie (PAAR+SC²@IJCAR, 2024)

Modal reduction principles across relational semantics. - Willem Conradie; Andrea De Domenico; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Daira Pinto Prieto; Apostolos Tzimoulis (Fuzzy Sets Syst., 2024)

Modal reduction principles: a parametric shift to graphs. - Willem Conradie; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere (J. Appl. Non Class. Logics, 2024)

Questions as cognitive filters. - Willem Conradie; Krishna Manoorkar; Alessandra Palmigiano; Apostolos Tzimoulis; Nachoem Wijnberg (CoRR, 2025)