Abstract logic is a formal system consisting of a class of sentences and a satisfaction relation with specific properties.
Abstract logic may also refer to: