On the Fusion of Coalgebraic Logics

Fredrik Dahlqvist, Dirk Pattinson

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Fusion is arguably the simplest way to combine modal logics. For normal modal logics with Kripke semantics, many properties such as completeness and decidability are known to transfer from the component logics to their fusion. In this paper we investigate to what extent these results can be generalised to the case of arbitrary coalgebraic logics. Our main result generalises a construction of Kracht and Wolter and confirms that completeness transfers to fusion for a large class of logics over coalgebraic semantics. This result is independent of the rank of the logics and relies on generalising the notions of distance and box operator to coalgebraic models.
Original languageEnglish
Title of host publicationAlgebra and Coalgebra in Computer Science
Subtitle of host publication 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings
PublisherSpringer Berlin Heidelberg
Pages161-175
Number of pages15
Volume6859
ISBN (Electronic)978-3-642-22944-2
ISBN (Print)978-3-642-22943-5
DOIs
Publication statusPublished - 2011

Fingerprint

Dive into the research topics of 'On the Fusion of Coalgebraic Logics'. Together they form a unique fingerprint.

Cite this