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.
Series
Rendiconti dell’Istituto di Matematica dell’Università di Trieste. An International Journal of Mathematics;42 (2010)
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.
Languages
en
File(s)