
handle: 11383/2149108
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.
Dependence Logic; Locality; Spatial Logic; Team Semantics
Dependence Logic; Locality; Spatial Logic; Team Semantics
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
