Some Sahlqvist completeness results for coalgebraic logics
Date
Authors
Dahlqvist, Fredrik
Pattinson, Dirk
Journal Title
Journal ISSN
Volume Title
Publisher
Access Statement
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.
Description
Citation
Collections
Source
Type
Book Title
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.
Entity type
Publication