Thesiss

A spatial logic is any formal language with geometric interpretation. Research on region-based spatial logics, where variables are set to range over certain subsets of geometric space, have been investigated recently within the qualitative spatial reasoning paradigm in AI. We ax…

The main purpose of this work is to establish new coincidence and common fixed point theorems using contractive and Lipschitz type conditions for nonself single-valued and multivalued mappings (not necessarily continuous) on a metric space and cite their applications in approxim…