@inproceedings{422653d0383c467f89ecf9be497dc0d4,
title = "Some Sahlqvist completeness results for coalgebraic logics",
abstract = "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.",
keywords = "canonicity, coalgebraic modal logic, completeness, Modal logic, Sahlqvist formula",
author = "Fredrik Dahlqvist and Dirk Pattinson",
year = "2013",
doi = "10.1007/978-3-642-37075-5_13",
language = "English",
isbn = "9783642370748",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "193--208",
booktitle = "Foundations of Software Science and Computation Structures - 16th Int. Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Proc.",
note = "16th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013 ; Conference date: 16-03-2013 Through 24-03-2013",
}