What is a logical systemn - Gabbay, Dov M. 1945- (Oxford science publications, 1994)