Affiliation:
1. The Weizmann Institute of Science, Rehovot, Israel
Abstract
In this paper concurrent dynamic logic (CDL) is introduced as an extension of dynamic logic tailored toward handling concurrent programs. Properties of CDL are discussed, both on the propositional and first-order level, and the extension is shown to possess most of the desirable properties of DL. Its relationships with the μ-calculus, game logic, DL with recursive procedures, and PTIME are further explored, revealing natural connections between concurrency, recursion, and alternation.
Publisher
Association for Computing Machinery (ACM)
Subject
Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software
Reference41 articles.
1. Alternation
2. Soundness and completeness of an axiom system for program verification;A.;SIAM J. Comput.
3. Propositional dynamic logic of regular programs;FISCHEI~ M. J.;J. Comput. Syst. Sci.,1979
Cited by
96 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Determinism of multirelations;Journal of Logical and Algebraic Methods in Programming;2024-06
2. Modal algebra of multirelations;Journal of Logic and Computation;2024-05-28
3. A Tour Through the Programming Choices: Semantics and Applications;Lecture Notes in Computer Science;2024
4. Fast Coalgebraic Bisimilarity Minimization;Proceedings of the ACM on Programming Languages;2023-01-09
5. COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description);Automated Deduction – CADE 29;2023