Some Sahlqvist Completeness Results for Coalgebraic Logics
Loading...
Date
Authors
Dahlqvist, Fredrik
Pattinson, Dirk
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
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 c
Description
Citation
Collections
Source
Lecture Notes in Computer Science (LNCS)
Type
Book Title
Entity type
Access Statement
License Rights
Restricted until
2037-12-31