Exponential-Size Model Property for PDL with Separating Parallel Composition

DOI10.1007/978-3-662-48057-1_10zbMath1465.68045OpenAlexW1556384599MaRDI QIDQ2946330

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

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

Related Items (2)

Bisimilar and logically equivalent programs in PDL with parallel operator ⋮ Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition

Cites Work

• Dynamic epistemic logic
• Propositional dynamic logic of regular programs
• The complexity of PDL with interleaving
• The semantics and proof theory of the logic of bunched implications
• Nondeterministic Phase Semantics and the Undecidability of Boolean BI
• Algebra and logic for resource-based systems modelling
• Concurrent dynamic logic
• Separation logics and modalities: a survey
• Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization
• Anytime, anywhere
• Propositional Dynamic Logic with Storing, Recovering and Parallel Composition
• 2-Exp Time lower bounds for propositional dynamic logics with intersection
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Exponential-Size Model Property for PDL with Separating Parallel Composition