Options
Topo-Bisimulations are Coalgebraic
Schubert, Christoph
2010
Abstract
We show that the topological interpretation of the modal
logic S4 can be reformulated using a special kind of coalgebras for the
filter functor. Thus the topological semantics is subsumed in coalgebraic
semantics. Moreover, the relational notion of topo-bisimulation can
be characterized via spans of open and continuous maps of topological
spaces or via spans of coalgebras morphisms.
logic S4 can be reformulated using a special kind of coalgebras for the
filter functor. Thus the topological semantics is subsumed in coalgebraic
semantics. Moreover, the relational notion of topo-bisimulation can
be characterized via spans of open and continuous maps of topological
spaces or via spans of coalgebras morphisms.
Publisher
EUT Edizioni Università di Trieste
Source
Christoph Schubert, "Topo-Bisimulations are Coalgebraic", in: Rendiconti dell’Istituto di Matematica dell’Università di Trieste. An International Journal of Mathematics, 42 (2010), pp. 257–270.
Series/Report
Rendiconti dell’Istituto di Matematica dell’Università di Trieste. An International Journal of Mathematics;42 (2010)
Languages
en
File(s)
Loading...
Name
Schubert RendMat42.pdf
Size
259.75 KB
Format
Adobe PDF
Checksum (MD5)
632e82124dfd7ba087a19d63e23f0a56