Simple dynamic logic with parallel composition and applications to planning

DOI10.1093/LOGCOM/EXAF077MaRDI QIDQ6849509zbMATH OpenFDO

Authors Andreas Herzig, Frédéric Maris, Elise Perrotin, Julien Vianey

Publication date 5 March 2026

Published in Journal of Logic and Computation (Search for Journal in Brave)

zbMATH Keywords

complexitydynamic logicparallel compositionsemantics of parallelismassignmentsparallel planninginclusive non-deterministic composition

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

This page was built for publication: Simple dynamic logic with parallel composition and applications to planning

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