License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CALCO.2019.7
URN: urn:nbn:de:0030-drops-114354
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2019/11435/
Go to the corresponding LIPIcs Volume Portal

Bezhanishvili, Nick ; de Groot, Jim ; Venema, Yde

Coalgebraic Geometric Logic

pdf-format:
LIPIcs-CALCO-2019-7.pdf (0.7 MB)

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 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.

BibTeX - Entry

@InProceedings{bezhanishvili_et_al:LIPIcs:2019:11435,
  author =	{Nick Bezhanishvili and Jim de Groot and Yde Venema},
  title =	{{Coalgebraic Geometric Logic}},
  booktitle =	{8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)},
  pages =	{7:1--7:18},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-120-7},
  ISSN =	{1868-8969},
  year =	{2019},
  volume =	{139},
  editor =	{Markus Roggenbach and Ana Sokolova},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2019/11435},
  URN =		{urn:nbn:de:0030-drops-114354},
  doi =		{10.4230/LIPIcs.CALCO.2019.7},
  annote =	{Keywords: Coalgebra, Geometric Logic, Modal Logic, Topology}
}

Keywords: Coalgebra, Geometric Logic, Modal Logic, Topology
Collection: 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)
Issue Date: 2019
Date of publication: 25.11.2019

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI