<abstract xmlns="http://www.w3.org/1999/xhtml"><p>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.</p></abstract>

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.

Categorical Interpretation of Modal Structures under Bisimulation

Kairos. Journal of Philosophy & Science

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

{"article-title":"Categorical Interpretation of Modal Structures under Bisimulation"}

In this work we summarise the concept of bisimulation, widely used both in computational sciences and in modal logic, that characterises modal structures with...

Categorical Interpretation of Modal Structures under Bisimulation

Online veröffentlicht: 03. März 2020

Seitenbereich: 54 - 71

DOI: https://doi.org/10.2478/kjps-2019-0008

Schlüsselwörter
logic, modal logic, LTS, category theory, model theory

© 2019 Nino Guallart, published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Categorical Interpretation of Modal Structures under Bisimulation

Online veröffentlicht: 03. März 2020

Seitenbereich: 54 - 71

DOI: https://doi.org/10.2478/kjps-2019-0008

Schlüsselwörterlogic, modal logic, LTS, category theory, model theory

© 2019 Nino Guallart, published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Schlüsselwörter
logic, modal logic, LTS, category theory, model theory