Journal of the ACM (JACM)
Communication in concurrent dynamic logic
Journal of Computer and System Sciences
First-Order Dynamic Logic
Dynamic Logic
A Proof Theoretic Methodology for Propositional Dynamic Logic
Proceedings of the International Colloquium on Formalization of Programming Concepts
Program Verification Using Dynamic Logic
CSL '87 Proceedings of the 1st Workshop on Computer Science Logic
A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
A practical decision method for propositional dynamic logic (Preliminary Report)
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
Hi-index | 0.00 |
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.