Willem Conradie
Orcid: 0000-0001-9906-4132
According to our database1,
Willem Conradie
authored at least 52 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
J. Appl. Non Class. Logics, July, 2024
Proceedings of the Joint Proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024
2023
A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's Interval Temporal Logic.
Proceedings of the 30th International Symposium on Temporal Representation and Reasoning, 2023
2022
Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022
Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022
2021
Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report).
CoRR, 2021
Algorithmic Correspondence for Relevance Logics, Bunched Implication Logics, and Relation Algebras via an Implementation of the Algorithm PEARL.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2021
2020
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II).
Log. Methods Comput. Sci., 2020
Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
2019
Ann. Pure Appl. Log., 2019
Proceedings of the Logic, Language, Information, and Computation, 2019
Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, 2019
2018
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I).
Log. Methods Comput. Sci., 2018
2017
J. Log. Algebraic Methods Program., 2017
Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017
Proceedings of the Logic, Language, Information, and Computation, 2017
2016
Proceedings of the Logic, Language, Information, and Computation, 2016
2015
Theor. Comput. Sci., 2015
Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA.
CoRR, 2015
Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015
Wiley, ISBN: 978-1-118-76267-7, 2015
Wiley, ISBN: 978-1-118-75127-5, 2015
2014
Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014
2013
Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013
Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013
Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013
2012
Ann. Pure Appl. Log., 2012
An Integrated First-Order Theory of Points and Intervals: Expressive Power in the Class of All Linear Orders.
Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012
2011
On the Expressive Power of First Order-Logic Extended with Allen's Relations in the Strict Case.
Proceedings of the Advances in Artificial Intelligence, 2011
2010
Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA.
J. Appl. Log., 2010
2009
Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions.
Fundam. Informaticae, 2009
2008
J. Appl. Non Class. Logics, 2008
2007
Proceedings of the 5th Workshop on Methods for Modalities, 2007
2006
Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA.
J. Log. Comput., 2006
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA.
Log. Methods Comput. Sci., 2006
2004
Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects.
Proceedings of the Advances in Modal Logic 5, 2004