PP-2019-09: Coalgebraic geometric logic

PP-2019-09: Bezhanishvili, Nick and de Groot, Jim and Venema, Yde (2019) Coalgebraic geometric logic. [Pre-print]

[thumbnail of main.pdf]

Download (582kB) | Preview


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 T on some full subcategory of the category Top of topological spaces and continuous functions. 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. Furthermore, 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.

Item Type: Pre-print
Report Nr: PP-2019-09
Series Name: Prepublication (PP) Series
Year: 2019
Subjects: Computation
Depositing User: Nick Bezhanishvili
Date Deposited: 23 Mar 2019 22:58
Last Modified: 23 Mar 2019 22:58
URI: https://eprints.illc.uva.nl/id/eprint/1669

Actions (login required)

View Item View Item