2013. Logic, Knowledge and Language, 14–15 March. The Reasoner. 7, 5 (May 2013).