Abstract
Using the theory of coalgebra, we introduce a uniform framework for adding
modalities to the language of propositional geometric logic. Models for this
logic are based on coalgebras for an endofunctor on some full subcategory of
the category of topological spaces and continuous functions. We investigate
derivation systems, soundness and completeness for such geometric modal logics,
and we specify a method of lifting an endofunctor on Set, accompanied by a
collection of predicate liftings, to an endofunctor on the category of
topological spaces, again accompanied by a collection of (open) predicate
liftings. Furthermore, we compare the notions of modal equivalence, behavioural
equivalence and bisimulation on the resulting class of models, and we provide a
final object for the corresponding category.
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science