Institutions for navigational logics for graphical structures

DOI10.1016/J.TCS.2018.02.031MaRDI QIDQ724928zbMATH OpenOpenAlexFDO

Authors Fernando Orejas, Elvira Pino, Marisa Navarro, Leen Lambers

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

graph logicsinstitutionsnavigational logics

Mathematics Subject Classification ID

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

Recommendations

• Towards a navigational logic for graphical structures
• A navigational logic for reasoning about graph properties
• Institutions: abstract model theory for specification and programming
• scientific article; zbMATH DE number 3997131
• scientific article; zbMATH DE number 1841828

Cites work

• CASL: the Common Algebraic Specification Language.
• Correctness of high-level transformation systems relative to nested conditions
• Graph logics with rational relations: the role of word combinatorics
• Institutions: abstract model theory for specification and programming
• Resolution-Like Theorem Proving for High-Level Conditions
• Specifications in an arbitrary institution
• Towards a navigational logic for graphical structures
• Verifying monadic second-order properties of graph programs

Cited in

(4)

• Towards a navigational logic for graphical structures
• A navigational logic for reasoning about graph properties
• Incorrectness logic for graph programs
• scientific article; zbMATH DE number 1841828 (Why is no real title available?)

Describes a project that uses

Uses Software

• CASL

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q724928)