Willem Conradie

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 34

Top Topics

Qualitative Spatial And Temporal Reasoning

Mazurkiewicz Traces

Top Venues

Log. Methods Comput. Sci.

J. Log. Comput.

Publications

Willem Conradie, Andrea De Domenico, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Daira Pinto Prieto, Apostolos Tzimoulis
Modal reduction principles across relational semantics. Fuzzy Sets Syst. 481 (2024)
Guy Axelrod, Willem Conradie
Prefixed Tableaux and Decision Procedures for Many-Valued Modal Logics. PAAR+SC²@IJCAR (2024)
Willem Conradie, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere
Modal reduction principles: a parametric shift to graphs. J. Appl. Non Class. Logics 34 (2-3) (2024)
Willem Conradie, Riccardo Monego, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan
A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's Interval Temporal Logic. TIME (2023)
Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan
Fuzzy Halpern and Shoham's interval temporal logics. Fuzzy Sets Syst. 456 (2023)
Willem Conradie
On parametric phenomena in correspondence theory. AiML (2022)
Willem Conradie, Andrea De Domenico, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Daira Pinto Prieto, Apostolos Tzimoulis
Modal reduction principles across relational semantics. CoRR (2022)
Willem Conradie, Mattia Panettiere
Modal inverse correspondence via ALBA. AiML (2022)
Willem Conradie, Andrea De Domenico, Giuseppe Greco, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis
Unified inverse correspondence for DLE-Logics. CoRR (2022)
Willem Conradie, Valentin Goranko, Peter Jipsen
Algorithmic Correspondence for Relevance Logics, Bunched Implication Logics, and Relation Algebras via an Implementation of the Algorithm PEARL. RAMiCS (2021)
Willem Conradie, Alessandra Palmigiano, Claudette Robinson, Apostolos Tzimoulis, Nachoem Wijnberg
Modelling socio-political competition. Fuzzy Sets Syst. 407 (2021)
Willem Conradie, Valentin Goranko, Peter Jipsen
Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report). CoRR (2021)
Willem Conradie, Sabine Frittella, Krishna Manoorkar, Sajad Nazari, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem M. Wijnberg
Rough concepts. Inf. Sci. 561 (2021)
Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan
Time Series Checking with Fuzzy Interval Temporal Logics. ICTCS (2020)
Willem Conradie, Alessandra Palmigiano
Constructive Canonicity of Inductive Inequalities. Log. Methods Comput. Sci. 16 (3) (2020)
Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco
An Approach to Fuzzy Modal Logic of Time Intervals. ECAI (2020)
Willem Conradie, Salih Durhan, Guido Sciavicco
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II). Log. Methods Comput. Sci. 16 (2) (2020)
Willem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem Wijnberg
Modelling competing theories. EUSFLAT Conf. (2019)
Willem Conradie, Sabine Frittella, Krishna Manoorkar, Sajad Nazari, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem M. Wijnberg
Rough concepts. CoRR (2019)
Willem Conradie, Claudette Robinson
Analogues of Bull's theorem for hybrid logic. Log. J. IGPL 27 (3) (2019)
Willem Conradie, Alessandra Palmigiano
Algorithmic correspondence and canonicity for non-distributive logics. Ann. Pure Appl. Log. 170 (9) (2019)
Willem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem M. Wijnberg
Modelling Informational Entropy. WoLLIC (2019)
Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem Wijnberg
Probabilistic Epistemic Updates on Algebras. ACM Trans. Comput. Log. 20 (4) (2019)
Willem Conradie, Alessandra Palmigiano, Zhiguang Zhao
Sahlqvist via Translation. Log. Methods Comput. Sci. 15 (1) (2019)
Willem Conradie, Salih Durhan, Guido Sciavicco
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II). CoRR (2018)
Willem Conradie, Salih Durhan, Guido Sciavicco
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I). Log. Methods Comput. Sci. 14 (2) (2018)
Willem Conradie, Salih Durhan, Guido Sciavicco
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I). CoRR (2018)
Willem Conradie, Alessandra Palmigiano
Editorial. J. Log. Comput. 27 (3) (2017)
Willem Conradie, Andrew Craig, Alessandra Palmigiano, Zhiguang Zhao
Constructive Canonicity for Lattice-Based Fixed Point Logics. WoLLIC (2017)
Willem Conradie, Alessandra Palmigiano, Sumit Sourabh
Algebraic modal correspondence: Sahlqvist and beyond. J. Log. Algebraic Methods Program. 91 (2017)
Willem Conradie, Andrew Craig
Canonicity results for mu-calculi: an algorithmic approach. J. Log. Comput. 27 (3) (2017)
Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem Wijnberg
Toward an Epistemic-Logical Theory of Categorization. TARK (2017)
Willem Conradie, Claudette Robinson
On Sahlqvist theory for hybrid logics. J. Log. Comput. 27 (3) (2017)
Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem Wijnberg
Categories: How I Learned to Stop Worrying and Love Two Sorts. WoLLIC (2016)
Willem Conradie, Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao
Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA. CoRR (2015)
Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh
Algorithmic correspondence for intuitionistic modal mu-calculus. Theor. Comput. Sci. 564 (2015)
Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Apostolos Tzimoulis
Probabilistic Epistemic Updates on Algebras. LORI (2015)
Willem Conradie, Andrew Craig
Canonicity results for mu-calculi: an algorithmic approach. CoRR (2014)
Willem Conradie, Wilmari Morton, Clint J. van Alten
An algebraic look at filtrations in modal logic. Log. J. IGPL 21 (5) (2013)
Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh
Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1. TACL (2013)
Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh
Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2. TACL (2013)
Claudette Robinson, Willem Conradie
An analogue of Bull's theorem for Hybrid Logic. TACL (2013)
Willem Conradie, Alessandra Palmigiano
Algorithmic correspondence and canonicity for distributive modal logic. Ann. Pure Appl. Log. 163 (3) (2012)
Willem Conradie, Salih Durhan, Guido Sciavicco
An Integrated First-Order Theory of Points and Intervals: Expressive Power in the Class of All Linear Orders. TIME (2012)
Willem Conradie, Guido Sciavicco
On the Expressive Power of First Order-Logic Extended with Allen's Relations in the Strict Case. CAEPIA (2011)
Willem Conradie, Valentin Goranko, Dimiter Vakarelov
Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA. J. Appl. Log. 8 (4) (2010)
Willem Conradie, Valentin Goranko, Dimiter Vakarelov
Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions. Fundam. Informaticae 92 (4) (2009)
Willem Conradie
Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA. Electron. Notes Theor. Comput. Sci. 231 (2009)
Willem Conradie, Valentin Goranko
Algorithmic correspondence and completeness in modal logic. J. Appl. Non Class. Logics 18 (2-3) (2008)
Willem Conradie
On the strength and scope of DLS. J. Appl. Non Class. Logics 16 (3-4) (2006)
Willem Conradie, Valentin Goranko, Dimiter Vakarelov
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA CoRR (2006)
Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema
Definitorially Complete Description Logics. KR (2006)
Willem Conradie, Valentin Goranko, Dimiter Vakarelov
Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA. J. Log. Comput. 16 (5) (2006)
Willem Conradie, Valentin Goranko, Dimiter Vakarelov
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA. Log. Methods Comput. Sci. 2 (1) (2006)
Willem Conradie, Valentin Goranko, Dimiter Vakarelov
Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects. Advances in Modal Logic (2004)