Switch to: References

Add citations

You must login to add citations.
  1. An existential locality theorem.Martin Grohe & Stefan Wöhrle - 2004 - Annals of Pure and Applied Logic 129 (1-3):131-148.
    We prove an existential version of Gaifman's locality theorem and show how it can be applied algorithmically to evaluate existential first-order sentences in finite structures.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Game-based notions of locality over finite models.Marcelo Arenas, Pablo Barceló & Leonid Libkin - 2008 - Annals of Pure and Applied Logic 152 (1-3):3-30.
    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 locality says that the truth value of a formula is determined by what the logic itself can say about that small neighbourhood. Since (...)
    Download  
     
    Export citation  
     
    Bookmark