Team semantics for spatial reasoning: Locality and separability

Team Semantics is a generalization of Tarski’s semantics for First Order Logic in which formulas are satisfied or not satisfied by sets of assignments. Despite being reducible to Tarskian semantics over First Order Logic, Team Semantics permits to extend it in novel ways, like for instance by means of new types of atoms that express dependencies between different assignments. In this work I will discuss the applicability of Team Semantics to spatial reasoning. I will argue that Team Semantics is a highly appropriate framework for reasoning about notions such as locality, in which the value of some variable at some point is affected only by the values of other variables in a certain neighbourhood of that point, and separability of spaces into regions with different properties.