Institutions for navigational logics for graphical structures

DOI10.1016/j.tcs.2018.02.031zbMath1436.03325OpenAlexW2790290619MaRDI QIDQ724928

Elvira Pino, Leen Lambers, Marisa Navarro, Fernando Orejas

Publication date: 26 July 2018

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2117/115595

zbMATH Keywords

institutionsgraph logicsnavigational logics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in computer science (03B70) Categorical logic, topoi (03G30)

Related Items

A navigational logic for reasoning about graph properties ⋮ Incorrectness logic for graph programs

Uses Software

• CASL

Cites Work

• Specifications in an arbitrary institution
• Towards a navigational logic for graphical structures
• CASL: the Common Algebraic Specification Language.
• Verifying Monadic Second-Order Properties of Graph Programs
• Resolution-Like Theorem Proving for High-Level Conditions
• Correctness of high-level transformation systems relative to nested conditions
• Institutions: abstract model theory for specification and programming
• Graph Logics with Rational Relations

This page was built for publication: Institutions for navigational logics for graphical structures