Some Sahlqvist Completeness Results for Coalgebraic Logics

Fredrik Dahlqvist, Dirk Pattinson

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.
Original languageEnglish
Title of host publicationFoundations of Software Science and Computation Structures
Subtitle of host publication16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
PublisherSpringer Berlin Heidelberg
Pages193-208
Number of pages16
Volume7794
ISBN (Electronic)978-3-642-37075-5
ISBN (Print)978-3-642-37074-8
DOIs
Publication statusPublished - 2013

Fingerprint

Dive into the research topics of 'Some Sahlqvist Completeness Results for Coalgebraic Logics'. Together they form a unique fingerprint.

Cite this