  We develop the basic model theory of local positive logic, a new logic that
mixes positive logic (where negation is not allowed) and local logic (where
models omit types of infinite distant pairs). We study several basic model
theoretic notions such as compactness, positive closedness (existential
closedness) and completeness (irreducibility).
