Research article (Journal of Philosophical Logic, 2018) · cited 13× · AI/ML