Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models
| Authors | |
|---|---|
| Publication date | 12-2018 |
| Journal | Journal of Logic and Computation |
| Volume | Issue number | 28 | 8 |
| Pages (from-to) | 1805-1832 |
| Organisations |
|
| Abstract | 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. |
| Document type | Article |
| Language | English |
| Published at | https://doi.org/10.1093/logcom/exv023 |
| Published at | https://www.researchgate.net/publication/277888114_Bisimulation_characterization_and_expressivity_hierarchy_of_languages_for_epistemic_awareness_models http://bit.ly/1QYmgEY |
| Permalink to this page | |