Change, choice and inference a study of belief revision and nonmonotonic reasoning - Rott, Hans (Oxford Clarendon Press, 2001)
Keywords: Logic, Symbolic and mathematical