Categorical Interpretation of Modal Structures under Bisimulation
| 03. März 2020
Über diesen Artikel
Online veröffentlicht: 03. März 2020
Seitenbereich: 54 - 71
DOI: https://doi.org/10.2478/kjps-2019-0008
Schlüsselwörter
© 2019 Nino Guallart, published by Sciendo
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.
In this work we summarise the concept of bisimulation, widely used both in computational sciences and in modal logic, that characterises modal structures with the same behaviour in terms of accessibility relations. Then, we offer a sketch of categorical interpretation of bisimulation between modal structures, which comprise both the structure and the valuation from a propositional language.