Output details
11 - Computer Science and Informatics
University of Leicester
Article title
Modalities in the Stone age: A comparison of coalgebraic logics
Type
D - Journal article
Title of journal
Theoretical Computer Science
Article number
-
Volume number
430
Issue number
-
First page of article
88
ISSN of journal
0304-3975
Year of publication
2012
URL
-
Number of additional authors
1
Additional information
<10>A new approach relating different coalgebraic logics is given. This required the concept of "singleton predicate liftings" which is
developed and applied, for example, by showing how the reasoning in Moss's coalgebraic logic can be implemented algorithmically. The paper is the journal version of the MFPS 2009 paper "Equational coalgebraic logic". It is cited by (Kupke-Pattinson, Theor.Comput.Sci. 2011) and (Marti-Venema, CMCS'11) and provided a technical trick crucial for (Dahlqvist-Pattinson, Fossacs'13). It also provided the translation techniques important in (Bilkova-Velebil-Venema, Math.Struct.Comp.Sci. 2011).
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
2
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-