Publication Date:
2014-09-19
Description:
Propositional Dynamic Logic (PDL) is a multi-modal logic used for specifying and reasoning on sequential programs. We introduce an extension of PDL for structured data and concurrency by the addition of new operations and formalize it within a graph calculus.
Print ISSN:
1367-0751
Electronic ISSN:
1368-9894
Topics:
Mathematics