Fragments of Geometric Logic and their behaviour

Inspired by a recent characterisation of coherent topoi as a class of Kan injectives, we provide a tentative definition of fragment of geometric logic. We treat them as mathematical objects, and study them from the point of view of Lindstrom-type theorems.