2008. Foundations of Logical Consequence. The Reasoner. 2, 10 (Oct. 2008).