Logical foundations - Gabbay, Dov M.; Hogger, Christopher John; Robinson, John Alan (2002)