Willem Conradie

发表

Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects

Valentin Goranko, Willem Conradie, Dimiter Vakarelov, 2004, Advances in Modal Logic.

Definitorially Complete Description Logics

Willem Conradie, Maarten Marx, Balder ten Cate, 2006, KR.

Sahlqvist via Translation

Willem Conradie, Alessandra Palmigiano, Zhiguang Zhao, 2016, Log. Methods Comput. Sci..

Algebraic modal correspondence: Sahlqvist and beyond

Willem Conradie, Alessandra Palmigiano, Sumit Sourabh, 2016, J. Log. Algebraic Methods Program..

Probabilistic Epistemic Updates on Algebras

Willem Conradie, Alessandra Palmigiano, Sabine Frittella, 2019, ACM Trans. Comput. Log..

Rough concepts pdf

Willem Conradie, Alessandra Palmigiano, Krishna Manoorkar, 2019, Inf. Sci..

An analogue of Bull's theorem for Hybrid Logic

Willem Conradie, Claudette Robinson, Willem Conradie, 2014, TACL.

Time Series Checking with Fuzzy Interval Temporal Logics

Willem Conradie, Guido Sciavicco, Dario Della Monica, 2020, ICTCS.

Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1

Willem Conradie, Alessandra Palmigiano, Sumit Sourabh, 2013, TACL.

Canonicity results for mu-calculi: an algorithmic approach

Willem Conradie, Andrew Craig, 2017, J. Log. Comput..

An Integrated First-Order Theory of Points and Intervals: Expressive Power in the Class of All Linear Orders

Willem Conradie, Guido Sciavicco, Salih Durhan, 2012, 2012 19th International Symposium on Temporal Representation and Reasoning.

On the strength and scope of DLS

Willem Conradie, Willem Conradie, 2006, J. Appl. Non Class. Logics.

Probabilistic Epistemic Updates on Algebras

Willem Conradie, Alessandra Palmigiano, Sabine Frittella, 2015, LORI.

Algorithmic correspondence and canonicity for non-distributive logics

Willem Conradie, Alessandra Palmigiano, Willem Conradie, 2016, Ann. Pure Appl. Log..

Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2

Willem Conradie, Alessandra Palmigiano, Sumit Sourabh, 2013, TACL.

An Approach to Fuzzy Modal Logic of Time Intervals

Willem Conradie, Guido Sciavicco, Dario Della Monica, 2020, ECAI.

Categories: How I Learned to Stop Worrying and Love Two Sorts

Willem Conradie, Alessandra Palmigiano, Sabine Frittella, 2016, WoLLIC.

On Sahlqvist theory for hybrid logics

Willem Conradie, Claudette Robinson, Willem Conradie, 2015, J. Log. Comput..

Logic and Discrete Mathematics - A Concise Introduction, Solutions Manual

Valentin Goranko, Willem Conradie, Claudette Robinson, 2015 .

Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA

Valentin Goranko, Willem Conradie, Dimiter Vakarelov, 2006, J. Log. Comput..

An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II)

Willem Conradie, Guido Sciavicco, Salih Durhan, 2020, Log. Methods Comput. Sci..

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

Valentin Goranko, Willem Conradie, V. Goranko, 2006, Log. Methods Comput. Sci..

On the Expressive Power of First Order-Logic Extended with Allen's Relations in the Strict Case

Willem Conradie, Guido Sciavicco, Willem Conradie, 2011, CAEPIA.

Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA pdf

Willem Conradie, Alessandra Palmigiano, Zhiguang Zhao, 2015, ArXiv.

Modelling competing theories

Willem Conradie, Alessandra Palmigiano, Nachoem M. Wijnberg, 2019, EUSFLAT Conf..

Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions

Valentin Goranko, Willem Conradie, Dimiter Vakarelov, 2009, Fundam. Informaticae.

Modelling Informational Entropy

Willem Conradie, Alessandra Palmigiano, Nachoem M. Wijnberg, 2019, WoLLIC.

Toward an Epistemic-Logical Theory of Categorization

Willem Conradie, Alessandra Palmigiano, Sabine Frittella, 2017, TARK.

Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA

Willem Conradie, Willem Conradie, 2009, M4M.

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

Valentin Goranko, Willem Conradie, Dimiter Vakarelov, 2006, Log. Methods Comput. Sci..

Unified Correspondence

Willem Conradie, Alessandra Palmigiano, Silvio Ghilardi, 2014, Johan van Benthem on Logic and Information Dynamics.

Algorithmic correspondence for intuitionistic modal mu-calculus

Willem Conradie, Alessandra Palmigiano, Sumit Sourabh, 2015, Theor. Comput. Sci..

Logic and Discrete Mathematics - A Concise Introduction

Valentin Goranko, Willem Conradie, 2015 .

Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA

Valentin Goranko, Willem Conradie, Dimiter Vakarelov, 2010, J. Appl. Log..

An algebraic look at filtrations in modal logic

Willem Conradie, Clint J. van Alten, Wilmari Morton, 2013, Log. J. IGPL.

An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I)

Willem Conradie, Guido Sciavicco, Salih Durhan, 2018, Log. Methods Comput. Sci..

Constructive Canonicity for Lattice-Based Fixed Point Logics

Willem Conradie, Alessandra Palmigiano, Zhiguang Zhao, 2016, WoLLIC.

Algorithmic correspondence and canonicity for distributive modal logic

Willem Conradie, Alessandra Palmigiano, Willem Conradie, 2012, Ann. Pure Appl. Log..

Constructive Canonicity of Inductive Inequalities

Willem Conradie, Alessandra Palmigiano, Willem Conradie, 2016, Log. Methods Comput. Sci..

Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report) pdf

Willem Conradie, Peter Jipsen, Valntin Goranko, 2021, ArXiv.

Modelling socio-political competition

Willem Conradie, Alessandra Palmigiano, Apostolos Tzimoulis, 2019, Fuzzy Sets Syst..

Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$

Valentin Goranko, Willem Conradie, V. Goranko, 2021, Outstanding Contributions to Logic.

Algorithmic Correspondence for Relevance Logics, Bunched Implication Logics, and Relation Algebras via an Implementation of the Algorithm PEARL

Valentin Goranko, Willem Conradie, Peter Jipsen, 2021, RAMiCS.

Goldblatt-Thomason for LE-logics

Willem Conradie, Alessandra Palmigiano, Apostolos Tzimoulis, 2018, 1809.08225.

Chapter 1 Unified Correspondence

Willem Conradie, Alessandra Palmigiano, Silvio Ghilardi, 2014 .

Categories: How I Learned to Stop Worrying and Love Two Sorts

Willem Conradie, Alessandra Palmigiano, Sabine Frittella, 2016, WoLLIC.

IV. Semantic extensions of SQEMA

Valentin Goranko, Willem Conradie, V. Goranko, 2008, J. Appl. Non Class. Logics.