31 citations · 31 across the 1 of their papers we have counts for
2 papers
math.LO2022
Unified inverse correspondence for DLE-Logics
Willem Conradie, Andrea De Domenico, Giuseppe Greco +3
By exploiting the algebraic and order theoretic mechanisms behind Sahlqvist correspondence, the theory of unified correspondence provides powerful tools for correspondence and cano…
cs.LO2017★ 31 cited
Toward an Epistemic-Logical Theory of Categorization
Willem Conradie, Sabine Frittella, Alessandra Palmigiano +3
Categorization systems are widely studied in psychology, sociology, and organization theory as information-structuring devices which are critical to decision-making processes. In t…