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.
If the inline PDF is not rendering correctly, you can download the PDF file here.
(1) Alechina, N., Mendler, M., De Paiva, V., & Ritter, E. (2001, September). Categorical and Kripke semantics for constructive S4 modal logic. En International Workshop on Computer Science Logic (pp. 292–307). Springer Berlin Heidelberg.
(2) Van Benthem, J. (1976). Modal correspondence theory [Ph.D. Thesis]. University of Amsterdam, Netherlands.
(3) Blackburn, P., De Rijke, M., & Venema, Y. (2001). Modal logic, volume 53 of Cambridge tracts in theoretical computer science.
(4) Van Ditmarsch, H., van Der Hoek, W., & Kooi, B. (2007). Dynamic epistemic logic (Vol. 337). Springer Science & Business Media.