Game-based notions of locality over finite models !

  • Marcelo Arenasa, Pablo Barcelób, Leonid Libkinc
  • Published 2008
Locality notions in logic say that the truth value of a formula can be determined locally, by looking at the isomorphism type of a small neighbourhood of its free variables. Such notions have proved to be useful in many applications. They all, however, refer to isomorphisms of neighbourhoods, which most local logics cannot test. A stronger notion of… CONTINUE READING