Layers of Logical Consequence: Logical consequence as epistemically model-theoretic and metaphysically proof-theoretic. (2018). Aporia, 18(1), 19-30. https://cvir.st-andrews.is.ed.ac.uk/index.php/aporia/article/view/1607