Graphs play an important role in many areas of Computer Science. In particular, our work is motivated by model-driven software development and by graph databases. For this reason, it is very important to have the means to express and to reason about the properties that a given graph may satisfy. With this aim, in this paper we present a visual logic that allows us to describe graph properties, including navigational properties, i.e., properties about the paths in a graph. The logic is equipped with a deductive tableau method that we have proved to be sound and complete.

中文翻译：

---

用于推理图形属性的导航逻辑

图在计算机科学的许多领域中发挥着重要作用。特别是，我们的工作是由模型驱动的软件开发和图形数据库驱动的。因此，拥有一种方法来表达和推理给定图可能满足的特性非常重要。为此，在本文中，我们提出了一种视觉逻辑，该逻辑使我们能够描述图形属性，包括导航属性，即图形中路径的属性。该逻辑配备了一种演绎的表格方法，我们已经证明该方法是健全而完整的。