Global and local graph modifiers - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Electronic Notes in Theoretical Computer Science Année : 2009

Global and local graph modifiers

Résumé

We dene two modal logics that allow to reason about modications of graphs. Both have a universal modal operator. The rst one only involves global modications (of some state label, or of some edge label) everywhere in the graph. The second one also allows for modications that are local to states. The global version generalizes logics of public announcements and public assignments, as well as a logic of preference modication introduced by van Benthem et Liu. By means of reduction axioms we show that it is just as expressive as the underlying logic without global modiers. We then show that adding local modiers dramatically increases the power of the logic: the logic of global and local modiers is undecidable. We nally study its relation with hybrid logic with binder.
Fichier principal
Vignette du fichier
M4M.pdf (223.96 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

inria-00556034 , version 1 (15-01-2011)

Licence

Identifiants

Citer

Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig. Global and local graph modifiers. Electronic Notes in Theoretical Computer Science, 2009, Proceedings of the 5th Workshop on Methods for Modalities (M4M5 2007), 231, ⟨10.1016/j.entcs.2009.02.042⟩. ⟨inria-00556034⟩
111 Consultations
349 Téléchargements

Altmetric

Partager

More