Coalgebraic semantics of modal logics: An overview |
| |
Authors: | Clemens Kupke Dirk Pattinson |
| |
Affiliation: | Department of Computing, Imperial College London, 180 Queen’s Gate, London SW7 2AZ, UK |
| |
Abstract: | 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 in terms of the so-called cover modality, languages induced by predicate liftings as well as their common categorical abstraction, and present (abstract) results on completeness, expressiveness and complexity in these settings, both for basic languages as well as a number of extensions, such as hybrid languages and fixpoints. |
| |
Keywords: | Coalgebra Modal logic |
本文献已被 ScienceDirect 等数据库收录! |
|