For modeling the parallel actions, the quantified dynamic logic (QDL) is extended to Parallel First-order Dynamic Logic (PaFDL) with parallel action compositions. The composition is introduced as an operator ∩ on actions in the same syntax as in Peleg's CQDL but its semantics is defined differently from those of CQDL. The expressive power of PaFDL is proved to be the same as that of QDL. An axiomatic system is given and its first-order soundness and completeness are proved. Compared with other parallel or concurrent Dynamic Logics, PaFDL has a very easy and intuitive understanding for parallel actions as they are in the sequential models. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Zhang, Z., & Jiang, Y. (2007). Parallel first-order dynamic logic and its expressiveness and axiomatization. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4847 LNCS, pp. 600–607). Springer Verlag. https://doi.org/10.1007/978-3-540-76837-1_65
Mendeley helps you to discover research relevant for your work.