Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Willem Conradie
Researcher
PaperUnified inverse correspondence for DLE-LogicsAuthorship / preprint / 2022PaperCanonicity results for mu-calculi: an algorithmic approachAuthorship / preprint / 2014PaperConstructive canonicity for lattice-based fixed point logicsAuthorship / preprint / 2016PaperAlgorithmic correspondence and canonicity for non-distributive logicsAuthorship / preprint / 2016PaperAlgebraic semantics for hybrid logicsAuthorship / preprint / 2016PaperAlgebraic modal correspondence: Sahlqvist and beyondAuthorship / preprint / 2016PaperCanonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBAAuthorship / preprint / 2016