Canonical extensions of posets W Morton Algebra universalis 72 (2), 167-200, 2014 | 15 | 2014 |
An algebraic look at filtrations in modal logic W Conradie, W Morton, CJ van Alten Logic Journal of IGPL 21 (5), 788-811, 2013 | 14 | 2013 |
Symbolic model checking of tense logics on rational Kripke models W Bekker, V Goranko Infinity in Logic and Computation, Cape Town, South Africa, November 3-5 …, 2009 | 12 | 2009 |
Modal MTL-algebras. W Morton, CJ van Alten Fuzzy Sets and Systems 222, 58-77, 2013 | 8 | 2013 |
The canonical FEP construction W Morton, CJ van Alten Journal of Logic and Computation, 0 | 3* | |
Preservation theorems for algebraic and relational models of logic W Morton School of Computer Science, University of the Witwatersrand, 2013 | 2 | 2013 |
Symbolic model checking of tense logics on rational Kripke models W Bekker, V Goranko arXiv preprint arXiv:0810.5516, 2008 | 2 | 2008 |