Navegación

Búsqueda

Búsqueda avanzada

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):

Handle:

11705/PROLE/2016/009

Descargas:

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

Descarga el artículo haciendo click aquí.