Institutions for navigational logics for graphical structures

We show that a Navigational Logic, i.e., a logic to express properties about graphs and about paths in graphs is a semi-exact institution. In this way, we can use a number of operations to structure and modularize our specifications. Moreover, using the properties of our institution, we also show how to structure single formulas, which in our formalism could be quite complex.

Metadaten
Author details:	Fernando Orejas ORCiD, Elvira Pino, Marisa Navarro ORCiD, Leen Lambers ORCiD GND
DOI:	https://doi.org/10.1016/j.tcs.2018.02.031
ISSN:	0304-3975
ISSN:	1879-2294
Title of parent work (English):	Theoretical computer science
Publisher:	Elsevier
Place of publishing:	Amsterdam
Publication type:	Article
Language:	English
Date of first publication:	2018/03/05
Publication year:	2018
Release date:	2021/10/04
Tag:	Graph logics; Institutions; Navigational logics
Volume:	741
Number of pages:	6
First page:	19
Last Page:	24
Funding institution:	Spanish Ministry for Economy and Competitiveness (MINECO) [TIN2013-46181-C2-1-R, TIN2013-46181-C2-2-R]; European Union (FEDER funds)European Union (EU) [TIN2013-46181-C2-1-R, TIN2013-46181-C2-2-R]; Basque Project [GIU15/30, UFI11/45]
Organizational units:	Digital Engineering Fakultät / Hasso-Plattner-Institut für Digital Engineering GmbH
DDC classification:	0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 000 Informatik, Informationswissenschaft, allgemeine Werke
Peer review:	Referiert
Publishing method:	Open Access / Green Open-Access