Learn More
Dynamic epistemic logic plays a key role in reasoning about multi-agent systems. Past approaches to dynamic epistemic logic have typically been focused on actions whose primary purpose is to communicate information from one agent to another. These actions are unable to alter the valuation of any proposition within the system. In fields such as security, it(More)
Traditionally, the analysis of computer algorithms has concentrated on combinatorial methods, with the primary objective being worst-case performance bounds. However, in the last 10 years there has been a dramatic increase in the probabilistic analysis of algorithms. One reason is obvious and suggests that the trend will continue: the statistical behavior(More)
We develop an algebraic modal logic that combines epistemic modalities with dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a changing world. Unlike most treatments of dynamic epistemic logic, we have transitions that " change the state " of the underlying system and not just the state of knowledge of(More)
  • 1