Institutions for navigational logics for graphical structures

descriptionPublicationkeyboard_double_arrow_right Article 01 Sep 2018 Germany, Spain English Publisher:Elsevier BVJournal:Theoretical Computer Science, volume 741, pages 19-24 (issn: 0304-3975,

Copyright policy )

Authors: Orejas Valdés, Fernando; Pino Blanco, Elvira; Navarro Gómez, Marisa; Lambers, Leen;

doi: 10.1016/j.tcs.2018.02.031

handle: 2117/115595

Institutions for navigational logics for graphical structures

- Summary
- Subjects
- Metrics

Abstract

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.

Peer Reviewed

Countries

Germany, Spain

Related Organizations

Universitat Polite`cnica de Catalunya
Spain
UNIVERSIDAD DEL PAIS VASCO/ EUSKAL HERRIKO UNIBERTSITATEA
Spain
Universität Potsdam
Germany
Universitat Politècnica de Catalunya
Spain
Universitat Polit?cnica de Catalunya
Spain

View all View all

Keywords

Formal methods (Computer science), Logic in computer science, Software engineering, Teoria de, navigational logics, ddc:000, Grafs, Teoria de, Hasso-Plattner-Institut für Digital Engineering GmbH, Other nonclassical logic, Institutions, Navigational logics, Graph theory, Grafs, graph logics, Enginyeria del programari, Mètodes formals (Informàtica), institutions, Graph logics, Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica, Categorical logic, topoi

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	3
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average