Output details
11 - Computer Science and Informatics
Imperial College London
Return to search
Output 0 of 0 in the submission
Article title
Rank-1 Modal Logics are Coalgebraic
Type
D - Journal article
Title of journal
Journal of Logic and Computation
Article number
-
Volume number
20
Issue number
5
First page of article
1113
ISSN of journal
0955-792X
Year of publication
2010
URL
-
Number of additional authors
1
Additional information
<11>Coalgebraic semantics has been touted as a unifying framework for a large class of modal logics. The applicability of universal results in the theory of coalgebras has hitherto been restricted to logics that come equipped with a complete semantics. This paper shows that such a semantics can always be constructed for the class of so-called rank-1 logics. As a consequence, the wide realm of coalgebraic techniques is now available also for logics that do not come with a pre-defined notion of semantics. We illustrate this by discussing new applications to deontic logics and derive their complexity and show strong completeness.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Logic and Artificial Intelligence
Citation count
6
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-