Fixed Point theorems for Multi-valued functions in Partial metric spaces and quasi-partial b-metric spaces arise in the treatment of semantics of disjunctive programs and databases, an important area in theoretical computer ...