Logic, Reasoning and Revision. (15th April 2015)