Muestra métricas de impacto externas asociadas a la publicación. Para mayor detalle:
| Indexado |
|
||||
| DOI | 10.1016/J.APAL.2007.11.012 | ||||
| Año | 2008 | ||||
| Tipo | artículo de investigación |
Citas Totales
Autores Afiliación Chile
Instituciones Chile
% Participación
Internacional
Autores
Afiliación Extranjera
Instituciones
Extranjeras
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 the expressiveness of many logics can be characterized by games, one can also say that the truth value of a formula is determined by the type, with respect to a game, of that small neighbourhood. Such game-based notions of locality can often be applied when traditional isomorphism-based notions of locality cannot. Our goal is to study game-based notions of locality. We work with an abstract view of games that subsumes games for many logics. We look at three, progressively more complicated locality notions. The easiest requires only very mild conditions on the game and works for most logics of interest. The other notions, based on Hanf's and Gaifman's theorems, require more restrictions. We state those restrictions and give examples of logics that satisfy and fail the respective game-based notions of locality. (c) 2007 Elsevier B.V. All rights reserved.
| Ord. | Autor | Género | Institución - País |
|---|---|---|---|
| 1 | ARENAS-SAAVEDRA, MARCELO ALEJANDRO | Hombre |
Pontificia Universidad Católica de Chile - Chile
|
| 2 | BARCELO-BAEZA, PABLO | Hombre |
Universidad de Chile - Chile
|
| 3 | Libkin, Leonid | Hombre |
UNIV EDINBURGH - Reino Unido
University of Edinburgh - Reino Unido The University of Edinburgh - Reino Unido |
| Fuente |
|---|
| Fondo Nacional de Desarrollo Científico y Tecnológico |
| Natural Sciences and Engineering Research Council of Canada |
| University of Toronto |
| Engineering and Physical Sciences Research Council |
| CITO |
| European Commission Marie Curie Excellence |
| PREA |
| Agradecimiento |
|---|
| Part of this work was done while the authors were at the University of Toronto, supported in part by grants from NSERC, PREA and CITO. Arenas is also supported by FONDECYT grant 1050701, and Arenas and Barceló by Millennium Nucleus Center for Web Research, Grant P04-067-F, Mideplan, Chile. Libkin is on leave from the University of Toronto, supported by a grant from NSERC, and the European Commission Marie Curie Excellence grant MEXC-CT-2005-024502. |