Skip navigation
Skip navigation

Coalgebraic semantics of modal logics: An overview

Kupke, Clemens; Pattinson, Dirk


Coalgebras can be seen as a natural abstraction of Kripke frames. In the same sense, coalgebraic logics are generalised modal logics. In this paper, we give an overview of the basic tools, techniques and results that connect coalgebras and modal logic. We argue that coalgebras unify the semantics of a large range of different modal logics (such as probabilistic, graded, relational, conditional) and discuss unifying approaches to reasoning at this level of generality. We review languages defined...[Show more]

CollectionsANU Research Publications
Date published: 2011
Type: Journal article
Source: Theoretical Computer Science
DOI: 10.1016/j.tcs.2011.04.023


File Description SizeFormat Image
01_Kupke_Coalgebraic_semantics_of_modal_2011.pdf322.93 kBAdobe PDF    Request a copy
02_Kupke_Coalgebraic_semantics_of_modal_2011.pdf423.3 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  22 January 2019/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator