Dynamic logic of parallel propositional assignments and its applications to planning
Andreas Herzig, Frédéric Maris, Julien Vianey · 2019
We introduce a dynamic logic with parallel composition and two kinds of nondeterministic composition, exclusive and inclusive. We show PSPACE completeness of both the model checking and the satisfiability problem and apply our logic to sequential and parallel classical planning where actions have conditional effects.