Willem Conradie
University of the Witwatersrand
H-index: 21
Africa-South Africa
Top articles of Willem Conradie
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Modal reduction principles: a parametric shift to graphs | Journal of Applied Non-Classical Logics | Willem Conradie Krishna Manoorkar Alessandra Palmigiano Mattia Panettiere | 2024/7/2 |
Modal reduction principles across relational semantics | Fuzzy Sets and Systems | Willem Conradie Andrea De Domenico Krishna Manoorkar Alessandra Palmigiano Mattia Panettiere | 2024/2/5 |
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 | 2023 | |
Fuzzy Halpern and Shoham's interval temporal logics | Fuzzy Sets and Systems | Willem Conradie Dario Della Monica Emilio Muñoz-Velasco Guido Sciavicco Ionel Eduard Stan | 2023/3/30 |
Reframing purpose and conceptions of success for a post-Covid-19 South African higher education | Scholarship of Teaching and Learning in the South | Laura Dison Kershree Padayachee Danie De Klerk Willem Conradie Fiona MacAlister | 2022/4/29 |
Unified inverse correspondence for DLE-logics | arXiv preprint arXiv:2203.09199 | Willem Conradie Andrea De Domenico Giuseppe Greco Alessandra Palmigiano Mattia Panettiere | 2022/3/17 |
Modal inverse correspondence via ALBA. | Willem Conradie Mattia Panettiere | 2022 | |
On parametric phenomena in correspondence theory. | Willem Conradie | 2022 | |
Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm PEARL | Willem Conradie Valentin Goranko Peter Jipsen | 2021/10/22 | |
Algorithmic Correspondence for Relevance Logics I. The Algorithm | Willem Conradie Valentin Goranko | 2021 | |
Rough concepts | Information Sciences | Willem Conradie Sabine Frittella Krishna Manoorkar Sajad Nazari Alessandra Palmigiano | 2021/6/1 |
Modelling socio-political competition | Fuzzy Sets and Systems | Willem Conradie Alessandra Palmigiano Claudette Robinson Apostolos Tzimoulis Nachoem Wijnberg | 2021/3/1 |
VU Research Portal | Jef Vandenberghe Youbin Sun Xianyan Wang Hemmo Abels Xing Xing Liu | 2018 | |
Constructive canonicity of inductive inequalities | Logical Methods in Computer Science | Willem Conradie Alessandra Palmigiano | 2020/8/5 |
Non-distributive logics: from semantics to meaning | arXiv preprint arXiv:2002.04257 | Willem Conradie Alessandra Palmigiano Claudette Robinson Nachoem Wijnberg | 2020/2/11 |
An approach to fuzzy modal logic of time intervals | Willem Conradie Dario Della Monica Emilio Munoz-Velasco Guido Sciavicco | 2020 | |
Time Series Checking with Fuzzy Interval Temporal Logics. | Willem Conradie Dario Della Guido Sciavicco Ionel Eduard | 2020 | |
Algebraic semantics for hybrid logics | Willem Conradie Claudette Robinson | 2020 |