English Separation logic Cited by user Semanticist14 on 23 Mar 2016 In computer science, separation logic is an extension of Hoare logic, a way of reasoning about programs.