BibTeX
CSL-JSON
MLA
Harvard
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
Stage
Date 2019-12-01
article-journal
Stage
published
Date 2019-12-01
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar