A navigational logic for reasoning about graph properties

DOI10.1016/J.JLAMP.2020.100616MaRDI QIDQ1996850zbMATH OpenOpenAlexFDO

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

Publication date 26 February 2021

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlamp.2020.100616

zbMATH Keywords

algebraic methodsformal modellinggraph logicspecification

Mathematics Subject Classification ID

Logic in computer science (03B70) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• Towards a navigational logic for graphical structures
• Tableau-based reasoning for graph properties
• Institutions for navigational logics for graphical structures
• scientific article; zbMATH DE number 2086655
• Relative expressive power of navigational querying on graphs

Cites work

• Correctness of high-level transformation systems relative to nested conditions
• Fundamentals of algebraic graph transformation
• Graph Transformations
• Graph-based specification of access control policies
• scientific article; zbMATH DE number 1809861 (Why is no real title available?)
• scientific article; zbMATH DE number 3988733 (Why is no real title available?)
• scientific article; zbMATH DE number 1231489 (Why is no real title available?)
• scientific article; zbMATH DE number 941396 (Why is no real title available?)
• scientific article; zbMATH DE number 2086655 (Why is no real title available?)
• scientific article; zbMATH DE number 919847 (Why is no real title available?)
• scientific article; zbMATH DE number 3057871 (Why is no real title available?)
• Institutions for navigational logics for graphical structures
• Institutions: abstract model theory for specification and programming
• Querying regular graph patterns
• Reasoning with graph constraints
• Resolution-Like Theorem Proving for High-Level Conditions
• Satisfiability of Constraint Specifications on XML Documents
• Semantic acyclicity on graph databases
• Specifications in an arbitrary institution
• Symbolic graphs for attributed graph constraints
• Symbolic model generation for graph properties
• Symmetric lenses
• Tableau-based reasoning for graph properties
• Tableaux and related methods
• Towards a navigational logic for graphical structures
• Verifying monadic second-order properties of graph programs

Cited in

(11)

• Towards a navigational logic for graphical structures
• Monadic second-order incorrectness logic for GP 2
• Incorrectness logic for graph programs
• Tableau-based reasoning for graph properties
• scientific article; zbMATH DE number 2086655 (Why is no real title available?)
• Symbolic model generation for graph properties
• Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power
• A rule-based procedure for graph query solving
• A logical approach to graph databases
• Coinductive techniques for checking satisfiability of generalized nested conditions
• Institutions for navigational logics for graphical structures

Describes a project that uses

Uses Software

• VAMPIRE

This page was built for publication: A navigational logic for reasoning about graph properties

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