Categorical Interpretation of Modal Structures under Bisimulation release_yy4v6cfb3jednftyq73d2qitui

by Nino Guallart

Published in Kairos: Journal of Philosophy & Science by Walter de Gruyter GmbH.

2019   Volume 22, p54-71

Abstract

<jats:title>Abstract</jats:title> 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.
In application/xml+jats format

Archived Files and Locations

application/pdf  551.6 kB
file_giiklcgrirdw7hkedxtka4qt7u
content.sciendo.com (publisher)
web.archive.org (webarchive)
application/pdf  433.9 kB
file_htpcpe7yyrckbf24f75ektgilq
content.sciendo.com (publisher)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   2019-12-01
Journal Metadata
Open Access Publication
In DOAJ
In ISSN ROAD
In Keepers Registry
ISSN-L:  2182-2824
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 32c866c0-f238-47e5-a185-c9f827dcb615
API URL: JSON