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
Verfasserangaben:	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
Titel des übergeordneten Werks (Englisch):	Theoretical computer science
Verlag:	Elsevier
Verlagsort:	Amsterdam
Publikationstyp:	Wissenschaftlicher Artikel
Sprache:	Englisch
Datum der Erstveröffentlichung:	05.03.2018
Erscheinungsjahr:	2018
Datum der Freischaltung:	04.10.2021
Freies Schlagwort / Tag:	Graph logics; Institutions; Navigational logics
Band:	741
Seitenanzahl:	6
Erste Seite:	19
Letzte Seite:	24
Fördernde 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]
Organisationseinheiten:	Digital Engineering Fakultät / Hasso-Plattner-Institut für Digital Engineering GmbH
DDC-Klassifikation:	0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 000 Informatik, Informationswissenschaft, allgemeine Werke
Peer Review:	Referiert
Publikationsweg:	Open Access / Green Open-Access