PDL for structured data: a graph-calculus approach

DOI10.1093/jigpal/jzu011zbMath1407.68340OpenAlexW1997761546WikidataQ114632534 ScholiaQ114632534MaRDI QIDQ4644610

Paulo A. S. Veloso, Mario R. F. Benevides, Sheila R. M. Veloso

Publication date: 8 January 2019

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzu011

zbMATH Keywords

concurrencypropositional dynamic logicgraph calculusrefutationstructured data

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Data structures (68P05)

Related Items (2)

On a graph calculus for modalities ⋮ On Diagrams and General Model Checkers

This page was built for publication: PDL for structured data: a graph-calculus approach