Coalgebraic semantics of modal logics: An overview
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]
|Collections||ANU Research Publications|
|Source:||Theoretical Computer Science|
|01_Kupke_Coalgebraic_semantics_of_modal_2011.pdf||322.93 kB||Adobe PDF||Request a copy|
|02_Kupke_Coalgebraic_semantics_of_modal_2011.pdf||423.3 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.