A completeness theorem for Kleene algebras and the algebra of regular events
Papers presented at the IEEE symposium on Logic in computer science
Derivatives of Regular Expressions
Journal of the ACM (JACM)
Process logic: preliminary report
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Reasoning about Information Change
Journal of Logic, Language and Information
A Knowledge Based Semantics of Messages
Journal of Logic, Language and Information
Distributed Computing
Complexity and succinctness of public announcement logic
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Logics of communication and change
Information and Computation
A Propositional Dynamic Logic for CCS Programs
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Verifying epistemic protocols under common knowledge
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Stability under Strategy Switching
CiE '09 Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice
Epistemic dynamics and protocol information
Epistemic dynamics and protocol information
Logic of information flow on communication channels
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Reasoning About Agent Types and the Hardest Logic Puzzle Ever
Minds and Machines
Hidden protocols: Modifying our expectations in an evolving world
Artificial Intelligence
| Hi-index | 0.00 |
In social interactions, protocols govern our behaviour and assign meaning to actions. In this paper, we investigate the dynamics of protocols and their epistemic effects. We develop two logics, inspired by Propositional Dynamic Logic (PDL) and Public Announcement Logic (PAL), for reasoning about protocol change and knowledge updates. We show that these two logics can be translated back to the standard PDL and PAL respectively.