Skip navigation
Skip navigation

Coalgebraic semantics of modal logics: An overview

Kupke, Clemens; Pattinson, Dirk

Description

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
URI: http://hdl.handle.net/1885/84884
Source: Theoretical Computer Science
DOI: 10.1016/j.tcs.2011.04.023

Download

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:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator