Willem Conradie

59 papers A* 1A 1B 4C 6Journal 35Unranked 9

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