A Logic of Graph Conditions Extended with Paths

Resumen:

In this paper we tackle the problem of extending the logic of nested graph conditions with paths. This means, for instance, that we may state properties about the existence of paths between some given nodes. As a main contribution, a sound and complete tableau method is defined for reasoning about this kind of properties.

Palabras Clave:

Autor(es):

• Marisa Navarro {marisa.navarro@ehu.es}
  Universidad del País Vasco (UPV/EHU), Spain
  
• Fernando Orejas {orejas@cs.upc.edu}
  Universitat Politècnica de Catalunya, Spain
  
• Elvira Pino {pino@cs.upc.edu}
  Universitat Politècnica de Catalunya, Spain
  
• Leen Lambers {Leen.Lambers@hpi.de}
  Hasso Plattner Institut. University of Potsdam, Germany
  

Handle:

Descargas:

Este artículo tiene una licencia de uso CreativeCommons Reconocimiento – NoComercial (by-nc)

Descarga el artículo haciendo click aquí.