Willem Conradie

Available identifiers

zbMath Open conradie.willemMaRDI QIDQ409327

List of research outcomes

Publication	Date of Publication	Type
Fuzzy Halpern and Shoham's interval temporal logics	2023-10-31	Paper
Rough concepts	2023-10-25	Paper
Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL}	2023-03-30	Paper
Unified inverse correspondence for DLE-Logics	2022-03-17	Paper
Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$	2022-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q3384065	2021-12-14	Paper
Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report)	2021-08-14	Paper
Non-distributive logics: from semantics to meaning	2021-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q4999269	2021-07-06	Paper
Modelling socio-political competition	2021-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q5119388	2020-09-04	Paper
Algebraic Semantics for Hybrid Logics	2020-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q5109523	2020-05-12	Paper
Modelling informational entropy	2020-03-04	Paper
Probabilistic Epistemic Updates on Algebras	2019-11-22	Paper
Algorithmic correspondence and canonicity for non-distributive logics	2019-09-18	Paper
The logic of vague categories	2019-08-13	Paper
Analogues of Bull’s theorem for hybrid logic	2019-06-18	Paper
Modelling competing theories	2019-05-28	Paper
Modelling informational entropy	2019-03-29	Paper
https://portal.mardi4nfdi.de/entity/Q4625704	2019-02-25	Paper
Goldblatt-Thomason for LE-logics	2018-09-21	Paper
https://portal.mardi4nfdi.de/entity/Q4580322	2018-08-15	Paper
Constructive canonicity for lattice-based fixed point logics	2017-12-20	Paper
Algebraic modal correspondence: Sahlqvist and beyond	2017-08-31	Paper
Canonicity results for mu-calculi: an algorithmic approach	2017-05-17	Paper
On Sahlqvist theory for hybrid logics	2017-05-17	Paper
Categories: How I Learned to Stop Worrying and Love Two Sorts	2016-09-09	Paper
Algebraic modal correspondence: Sahlqvist and beyond	2016-06-22	Paper
Constructive Canonicity of Inductive Inequalities	2016-03-28	Paper
Sahlqvist via Translation	2016-03-27	Paper
Probabilistic Epistemic Updates on Algebras	2015-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q5253278	2015-06-04	Paper
Unified Correspondence	2015-05-11	Paper
Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA	2015-03-23	Paper
An algebraic look at filtrations in modal logic	2015-02-27	Paper
Algorithmic correspondence for intuitionistic modal mu-calculus	2014-12-16	Paper
Algorithmic correspondence and canonicity for distributive modal logic	2012-04-13	Paper
Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA	2011-03-22	Paper
On the strength and scope of DLS	2009-11-30	Paper
IV. Semantic extensions of SQEMA	2009-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q5324584	2009-08-03	Paper
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA	2007-10-11	Paper
Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA	2007-04-13	Paper
https://portal.mardi4nfdi.de/entity/Q5483000	2006-08-15	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Willem Conradie