Journal of the ACM (JACM)
A Propositional Dynamic Logic for CCS Programs
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
Declarative Agent Languages and Technologies VI
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
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)
An intuitionistic epistemic logic for sequential consistency on shared memory
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Propositional Dynamic Logic with Storing, Recovering and Parallel Composition
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |