Volgen
Willem Conradie
Willem Conradie
Professor of Mathematics, University of the Witwatersrand
Geverifieerd e-mailadres voor wits.ac.za
Titel
Geciteerd door
Geciteerd door
Jaar
Algorithmic correspondence and canonicity for distributive modal logic
W Conradie, A Palmigiano
Annals of Pure and Applied Logic 163 (3), 338-376, 2012
1292012
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
W Conradie, V Goranko, D Vakarelov
Logical methods in computer science 2, 2006
1232006
Algorithmic correspondence and canonicity for non-distributive logics
W Conradie, A Palmigiano
Annals of Pure and Applied Logic 170 (9), 923-974, 2019
1202019
Unified correspondence
W Conradie, S Ghilardi, A Palmigiano
Johan van Benthem on logic and information dynamics, 933-975, 2014
1142014
Definitorially Complete Description Logics.
B Ten Cate, W Conradie, M Marx, Y Venema
KR 6, 79-89, 2006
812006
Categories: how I learned to stop worrying and love two sorts
W Conradie, S Frittella, A Palmigiano, M Piazzai, A Tzimoulis, ...
Logic, Language, Information, and Computation: 23rd International Workshop …, 2016
622016
Algebraic modal correspondence: Sahlqvist and beyond
W Conradie, A Palmigiano, S Sourabh
Journal of Logical and Algebraic Methods in Programming 91, 60-84, 2017
552017
Algorithmic correspondence for intuitionistic modal mu-calculus
W Conradie, Y Fomatati, A Palmigiano, S Sourabh
Theoretical Computer Science 564, 30-62, 2015
522015
On Sahlqvist theory for hybrid logics
W Conradie, C Robinson
Journal of Logic and Computation 27 (3), 867-900, 2017
512017
Constructive canonicity of inductive inequalities
W Conradie, A Palmigiano
Logical Methods in Computer Science 16, 2020
492020
Toward an epistemic-logical theory of categorization
W Conradie, S Frittella, A Palmigiano, M Piazzai, A Tzimoulis, ...
arXiv preprint arXiv:1707.08743, 2017
442017
Sahlqvist via translation
W Conradie, A Palmigiano, Z Zhao
Logical Methods in Computer Science 15, 2019
422019
Canonicity and relativized canonicity via pseudo-correspondence: an application of ALBA
W Conradie, A Palmigiano, S Sourabh, Z Zhao
arXiv preprint arXiv:1511.04271, 2015
402015
Canonicity results for mu-calculi: an algorithmic approach
W Conradie, A Craig
Journal of Logic and Computation 27 (3), 705-748, 2017
392017
Algorithmic correspondence and completeness in modal logic. II. Polyadic and hybrid extensions of the algorithm SQEMA
W Conradie, V Goranko, D Vakarelov
Journal of Logic and Computation 16 (5), 579-612, 2006
322006
Elementary canonical formulae: a survey on syntactic, algorithmic, and modeltheoretic aspects
W Conradie, V Goranko, D Vakarelov
321998
Rough concepts
W Conradie, S Frittella, K Manoorkar, S Nazari, A Palmigiano, A Tzimoulis, ...
Information Sciences 561, 371-413, 2021
312021
Non-distributive logics: from semantics to meaning
W Conradie, A Palmigiano, C Robinson, N Wijnberg
arXiv preprint arXiv:2002.04257, 2020
282020
Logic and discrete mathematics: a concise introduction
W Conradie, V Goranko
John Wiley & Sons, 2015
272015
Constructive canonicity for lattice-based fixed point logics
W Conradie, A Craig, A Palmigiano, Z Zhao
Logic, Language, Information, and Computation: 24th International Workshop …, 2017
252017
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20