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.

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

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

A pr 2 01 6 Categories : How I Learned to Stop Worrying and LoveTwo Sorts

Willem Conradie, Alessandra Palmigiano, 2018 .

Sahlqvist via Translation

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

IV. Semantic extensions of SQEMA

V. Goranko, Willem Conradie, 2008 .

Algebraic Semantics for Hybrid Logics

Willem Conradie, C. Robinson, 2016, Logic in Asia: Studia Logica Library.

Reframing purpose and conceptions of success for a post-Covid-19 South African higher education

Willem Conradie, L. Dison, G. Krull, 2022, Scholarship of Teaching and Learning in the South.

The logic of vague categories

N. Wijnberg, Willem Conradie, C. Robinson, 2019, 1908.04816.

Modelling socio-political competition

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

L O ] 2 8 M ay 2 01 9 Modelling informational entropy ⋆

Willem Conradie, Alessandra Palmigiano, A. Craig, 2019 .

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

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

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

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

Algorithmic correspondence for intuitionistic modal mu-calculus

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

Chapter 1 Unified Correspondence

Willem Conradie, Alessandra Palmigiano, Silvio Ghilardi, 2014 .

Algorithmic correspondence and canonicity for distributive modal logic

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

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

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

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

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

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

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

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..

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.

Unified inverse correspondence for DLE-Logics

Andrea De Domenico, Willem Conradie, Alessandra Palmigiano, 2022, ArXiv.

Non-distributive logics: from semantics to meaning

N. Wijnberg, Willem Conradie, C. Robinson, 2020, 2002.04257.

Algorithmic correspondence and canonicity for non-distributive logics

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

An Approach to Fuzzy Modal Logic of Time Intervals

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

Algebraic modal correspondence: Sahlqvist and beyond

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

Analogues of Bull's theorem for hybrid logic

Claudette Robinson, Willem Conradie, Willem Conradie, 2018, Log. J. IGPL.

On Sahlqvist theory for hybrid logics

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

An analogue of Bull's theorem for Hybrid Logic

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

Definitorially Complete Description Logics

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

Rough concepts pdf

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

Modelling Informational Entropy

N. Wijnberg, Willem Conradie, A. Craig, 2019, WoLLIC.

Goldblatt-Thomason for LE-logics

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

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

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

Constructive Canonicity of Inductive Inequalities

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

Basin margin failure processes during the initiation of a deepwater system : The Vischkuil Formation, Laingsburg depocentre, SW Karoo Basin, South Africa

Willem Conradie, V. D. Merwe, 2009 .

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.

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.

Unified Correspondence

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

IV. Semantic extensions of SQEMA

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

Logic and Discrete Mathematics - A Concise Introduction, Solutions Manual

Valentin Goranko, Willem Conradie, Claudette Robinson, 2015 .

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.

Modal reduction principles: a parametric shift to graphs

Willem Conradie, Mattia Panettiere, Krishna Manoorkar, 2024, J. Appl. Non Class. Logics.

Modal reduction principles across relational semantics

Andrea De Domenico, Willem Conradie, A. Tzimoulis, 2024, Fuzzy Sets Syst..

Modelling competing theories

N. Wijnberg, Willem Conradie, A. Palmigiano, 2019, EUSFLAT Conf..

Toward an Epistemic-Logical Theory of Categorization

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

Constructive Canonicity for Lattice-Based Fixed Point Logics

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