Willem Conradie

Identifiers

• name variant Willem Conradie 0.60 · backfill

Papers (13)

1. Modelling competing theories math.LO · 2019 · author #1
2. Modelling informational entropy math.LO · 2019 · author #1
3. Goldblatt-Thomason for LE-logics math.LO · 2018 · author #1
4. Toward an Epistemic-Logical Theory of Categorization cs.LO · 2017 · author #1
5. Probabilistic Epistemic Updates on Algebras math.LO · 2016 · author #1
6. Algebraic modal correspondence: Sahlqvist and beyond math.LO · 2016 · author #1
7. Algebraic semantics for hybrid logics math.LO · 2016 · author #1
8. Categories: How I Learned to Stop Worrying and Love Two Sorts math.LO · 2016 · author #1
9. Algorithmic correspondence and canonicity for non-distributive logics math.LO · 2016 · author #1
10. Constructive canonicity for lattice-based fixed point logics math.LO · 2016 · author #1
11. Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA cs.LO · 2015 · author #1
12. Canonicity results for mu-calculi: an algorithmic approach math.LO · 2014 · author #1
13. Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA cs.LO · 2006 · author #1

Mentions

• 1408.6367 #1 · backfill · confidence 0.70 Willem Conradie

Frequent Coauthors

• Alessandra Palmigiano 10 shared papers
• Andrew Craig 4 shared papers
• Apostolos Tzimoulis 4 shared papers
• Nachoem M. Wijnberg 4 shared papers
• Sabine Frittella 3 shared papers
• Michele Piazzai 2 shared papers
• Sumit Sourabh 2 shared papers
• Zhiguang Zhao 2 shared papers
• Claudette Robinson 1 shared papers
• Dimiter Vakarelov 1 shared papers
• Nachoem Wijnberg 1 shared papers
• Valentin Goranko 1 shared papers