Institutions for navigational logics for graphical structures

DOI10.1016/J.TCS.2018.02.031zbMATH Open1436.03325OpenAlexW2790290619MaRDI QIDQ724928FDOQ724928

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

Recommendations

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

zbMATH Keywords

institutionsgraph logicsnavigational logics

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (4)

• A navigational logic for reasoning about graph properties
• Title not available (Why is that?)
• Towards a navigational logic for graphical structures
• Incorrectness logic for graph programs

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)