Download possibilistic logic - an overview