Propositional dynamic logic with storing, recovering and parallel composition

DOI10.1016/J.ENTCS.2011.03.008MaRDI QIDQ5179014zbMATH OpenOpenAlexWikidataFDO

Authors Mario Benevides, Petrucio Viana, Renata P. de Freitas

Publication date 18 March 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2011.03.008

zbMATH Keywords

concurrencymodal logic for program specificationparallel compositionpropositional dynamic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Tableaux methods for propositional dynamic logics with separating parallel composition
• Iteration-free \(\mathrm{PDL}\) with storing, recovering and parallel composition: a complete axiomatization
• scientific article; zbMATH DE number 4143953
• The propositional dynamic logic of deterministic, well-structured programs
• PDL for structured data: a graph-calculus approach

Cites work

• A Propositional Dynamic Logic for CCS Programs
• A propositional dynamic logic for concurrent programs based on the -calculus
• Communication in concurrent dynamic logic
• Concurrent dynamic logic
• scientific article; zbMATH DE number 1801371 (Why is no real title available?)
• scientific article; zbMATH DE number 1086629 (Why is no real title available?)
• scientific article; zbMATH DE number 1499084 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 1841809 (Why is no real title available?)
• On fork arrow logic and its expressive power
• Parallel action: Concurrent dynamic logic with independent modalities
• Propositional dynamic logic of regular programs
• Reasoning about information change
• Separation Logic Semantics for Communicating Processes
• Squares in fork arrow logic
• The complexity of PDL with interleaving

Cited in

(17)

• Data storage interpretation of labeled modal logic
• Bisimilar and logically equivalent programs in PDL with parallel operator
• scientific article; zbMATH DE number 1696844 (Why is no real title available?)
• Complexity optimal decision procedure for a propositional dynamic logic with parallel composition
• Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator
• Exponential-size model property for PDL with separating parallel composition
• Tableaux methods for propositional dynamic logics with separating parallel composition
• scientific article; zbMATH DE number 4143953 (Why is no real title available?)
• scientific article; zbMATH DE number 3968565 (Why is no real title available?)
• Separation logics and modalities: a survey
• Iteration-free \(\mathrm{PDL}\) with storing, recovering and parallel composition: a complete axiomatization
• Propositional dynamic logic for searching games with errors
• Memory propositional dynamic logic
• Axiomatization and computability of a variant of iteration-free PDL with fork
• Resource separation in dynamic logic of propositional assignments
• Simple dynamic logic with parallel composition and applications to planning
• Adding concurrency to quantum dynamic logic

This page was built for publication: Propositional dynamic logic with storing, recovering and parallel composition

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