2026-07-23T13:08:54Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:11435 2024-03-06T10:47:06Z ddc:004 open_access

Coalgebraic Geometric Logic Bezhanishvili, Nick de Groot, Jim Venema, Yde Coalgebra Geometric Logic Modal Logic Topology 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Nick Bezhanishvili and Jim de Groot and Yde Venema 2019 Is Part Of LIPIcs, Volume 139, 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CALCO.2019.7 urn:nbn:de:0030-drops-114354 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2019.7 eng https://creativecommons.org/licenses/by/3.0/legalcode