Exponential-size model property for PDL with separating parallel composition

DOI10.1007/978-3-662-48057-1_10MaRDI QIDQ2946330zbMATH OpenOpenAlexFDO

Authors Joseph Boudou

Publication date 16 September 2015

Published in Mathematical Foundations of Computer Science 2015 (Search for Journal in Brave)

Full work available at URL https://oatao.univ-toulouse.fr/22292/1/Boudou_22292.pdf

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Descriptive complexity and finite models (68Q19) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Complexity optimal decision procedure for a propositional dynamic logic with parallel composition
• scientific article; zbMATH DE number 4068839
• Tableaux methods for propositional dynamic logics with separating parallel composition
• Resource separation in dynamic logic of propositional assignments
• Resource separation in dynamic logic of propositional assignments

Cites work

• 2-Exp Time lower bounds for propositional dynamic logics with intersection
• Algebra and logic for resource-based systems modelling
• Anytime, anywhere: modal logics for mobile ambients
• Concurrent dynamic logic
• Dynamic epistemic logic
• scientific article; zbMATH DE number 993777 (Why is no real title available?)
• scientific article; zbMATH DE number 3843130 (Why is no real title available?)
• scientific article; zbMATH DE number 3624763 (Why is no real title available?)
• scientific article; zbMATH DE number 6863850 (Why is no real title available?)
• Iteration-free \(\mathrm{PDL}\) with storing, recovering and parallel composition: a complete axiomatization
• Modal logic
• Nondeterministic phase semantics and the undecidability of Boolean BI
• Propositional dynamic logic of regular programs
• Propositional dynamic logic with storing, recovering and parallel composition
• Separation logics and modalities: a survey
• The complexity of PDL with interleaving
• The semantics and proof theory of the logic of bunched implications

Cited in

(2)

• Bisimilar and logically equivalent programs in PDL with parallel operator
• Complexity optimal decision procedure for a propositional dynamic logic with parallel composition

This page was built for publication: Exponential-size model property for PDL with separating parallel composition

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