Partial logic and modal logic : A systematic survey