Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models
Fernando R. Velázquez–Quesada · Journal of Logic and Computation · 2015
The present work studies the expressivity hierarchy of ‘static’ and ‘dynamic’ languages over epistemic awareness models by characterizing each language's expressivity with its adequate notion of bisimulation. The studied ‘static’ languages are based on the operators for implicit and explicit knowledge, implicit and explicit possibility and awareness; the studied ‘dynamic’ languages extend the ‘static’ ones with operators that express the effect of the so-called epistemic awareness action models, structures that can represent changes in an agent's knowledge and awareness.