Quantifying Notes Revisited
In this survey we review several dynamic epistemic logics with modalities representing quantification over information change. Of such logics we present typical axioms involving the relation between knowledge or belief and informative action, their relative expressivity, directions for applications, and what is known on the decidability and complexity of model checking and satisfiability. We focus on open problems and new directions for research.
READ FULL TEXT