Resource separation in dynamic logic of propositional assignments
From MaRDI portal
Recommendations
- Resource separation in dynamic logic of propositional assignments
- A modal separation logic for resource dynamics
- FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
- Dynamic logic of propositional assignments: a well-behaved variant of PDL
- Tableaux and resource graphs for separation logic
- Variables as resource in separation logic
- Models and Separation Logics for Resource Trees
- Propositional dynamic logic with local assignments
- scientific article; zbMATH DE number 7317262
- Amortised resource analysis with separation logic
Cites work
- A dynamic logic account of active integrity constraints
- A simple account of multi-agent epistemic planning
- A simple separation logic
- Complexity optimal decision procedure for a propositional dynamic logic with parallel composition
- CONCUR 2004 - Concurrency Theory
- CONCUR 2004 -- concurrency theory. 15th international conference, London, UK, August 31 -- September 3, 2004. Proceedings.
- Concurrent dynamic logic
- Dynamic epistemic logic
- Dynamic logic of propositional assignments: a well-behaved variant of PDL
- Fast planning through planning graph analysis
- 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
- Judgment aggregation in dynamic logic of propositional assignments
- On the revision of planning tasks
- Parallel action: Concurrent dynamic logic with independent modalities
- PDL with intersection of programs: a complete axiomatization
- Propositional dynamic logic with storing, recovering and parallel composition
- Resource separation in dynamic logic of propositional assignments
- The complexity of PDL with interleaving
Cited in
(7)- A simple separation logic
- Variables as resource in separation logic
- Exponential-size model property for PDL with separating parallel composition
- A modal separation logic for resource dynamics
- scientific article; zbMATH DE number 7317262 (Why is no real title available?)
- Resource separation in dynamic logic of propositional assignments
- Simple dynamic logic with parallel composition and applications to planning
This page was built for publication: Resource separation in dynamic logic of propositional assignments
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5918351)
