Colección SciELO Chile

Departamento Gestión de Conocimiento, Monitoreo y Prospección
Consultas o comentarios: productividad@anid.cl
Búsqueda Publicación
Búsqueda por Tema Título, Abstract y Keywords



Game-based notions of locality over finite models
Indexado
WoS WOS:000254378600002
Scopus SCOPUS_ID:39549123428
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


Abstract



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.

Métricas Externas



PlumX Altmetric Dimensions

Muestra métricas de impacto externas asociadas a la publicación. Para mayor detalle:

Disciplinas de Investigación



WOS
Mathematics
Mathematics, Applied
Logic
Scopus
Logic
SciELO
Sin Disciplinas

Muestra la distribución de disciplinas para esta publicación.

Publicaciones WoS (Ediciones: ISSHP, ISTP, AHCI, SSCI, SCI), Scopus, SciELO Chile.

Colaboración Institucional



Muestra la distribución de colaboración, tanto nacional como extranjera, generada en esta publicación.


Autores - Afiliación



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

Muestra la afiliación y género (detectado) para los co-autores de la publicación.

Financiamiento



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

Muestra la fuente de financiamiento declarada en la publicación.

Agradecimientos



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.

Muestra la fuente de financiamiento declarada en la publicación.