This paper presents a first step towards completeness-via-canonicity results for coalgebraic modal logics. Specifically, we consider the relationship between classes of coalgebras for ω-accessible endofunctors and logics defined by Sahlqvist-like frame conditions. Our strategy is based on conjoining two well-known approaches: we represent accessible functors as (equational) quotients of polynomial functors and then use canonicity results for boolean algebras with operators to transport completeness to the coalgebraic setting. © 2013 Springer-Verlag.
CITATION STYLE
Dahlqvist, F., & Pattinson, D. (2013). Some Sahlqvist completeness results for coalgebraic logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7794 LNCS, pp. 193–208). https://doi.org/10.1007/978-3-642-37075-5_13
Mendeley helps you to discover research relevant for your work.