More on looping vs. repeating in dynamic logic
Information Processing Letters
"During" cannot be expressed by "After"
Journal of Computer and System Sciences
A programming language for the inductive sets, and applications
Information and Control
Logic for problem-solving
Communication in concurrent dynamic logic
Journal of Computer and System Sciences
Programming in Prolog
Journal of the ACM (JACM)
Axiomatic Definitions of Programming Languages: A Theoretical Assessment
Journal of the ACM (JACM)
And/Or Programs: A New Approach to Structured Programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
First-Order Dynamic Logic
Results on the Propositional µ-Calculus
Proceedings of the 9th Colloquium on Automata, Languages and Programming
Propositional Logics of Programs: New Directions
Proceedings of the 1983 International FCT-Conference on Fundamentals of Computation Theory
Yet Another Process Logic (Preliminary Version)
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
The complexity of relational query languages (Extended Abstract)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Relational queries computable in polynomial time (Extended Abstract)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Computability and completeness in logics of programs (Preliminary Report)
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Automata theoretic techniques for modal logics of programs: (Extended abstract)
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Provably correct theories of action
Journal of the ACM (JACM)
Strategic directions in concurrency research
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Journal of Logic, Language and Information
Encoding Solutions of the Frame Problem in Dynamic Logic
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
A propositional policy algebra for access control
ACM Transactions on Information and System Security (TISSEC)
Concurrent dynamic epistemic logic for MAS
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
The donkey strikes back: extending the dynamic interpretation "constructively"
EACL '93 Proceedings of the sixth conference on European chapter of the Association for Computational Linguistics
Evolution of Collective Commitment during Teamwork
Fundamenta Informaticae
A Propositional Dynamic Logic for CCS Programs
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems
Canadian AI '09 Proceedings of the 22nd Canadian Conference on Artificial Intelligence: Advances in Artificial Intelligence
Dynamic semantics for tense and aspect
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Interactive verification of concurrent systems using symbolic execution
AI Communications - Practical Aspects of Automated Reasoning
A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems
Knowledge-Based Systems
Parallel first-order dynamic logic and its expressiveness and axiomatization
APPT'07 Proceedings of the 7th international conference on Advanced parallel processing technologies
A Propositional Dynamic Logic for Concurrent Programs Based on the π-Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Structures with Multirelations, their Discrete Dualities and Applications
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Concurrent actions in the situation calculus
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Flat coalgebraic fixed point logics
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Playing extensive form games in parallel
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Propositional Dynamic Logic with Storing, Recovering and Parallel Composition
Electronic Notes in Theoretical Computer Science (ENTCS)
Dynamic logic semantics for UML consistency
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Logical analysis of hybrid systems: a complete answer to a complexity challenge
DCFS'12 Proceedings of the 14th international conference on Descriptional Complexity of Formal Systems
First-Order dynamic logic for compensable processes
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Evolution of Collective Commitment during Teamwork
Fundamenta Informaticae
AXIOMATIZATIONS OF TEMPORAL LOGICS ON TRACE SYSTEMS
Fundamenta Informaticae
| Hi-index | 0.00 |
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 &mgr;-calculus, game logic, DL with recursive procedures, and PTIME are further explored, revealing natural connections between concurrency, recursion, and alternation.