Categorical Interpretation of Modal Structures under Bisimulation

Pubblicato online: 03 mar 2020

Pagine: 54 - 71

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

Parole chiave

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.