Order:
  1.  23
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  2.  27
    21st Workshop on Logic, Language, Information and Computation.Ulrich Kohlenbach, Pablo Barceló & Ruy de Queiroz - 2015 - Logic Journal of the IGPL 23 (5):848-859.