Coalgebraic Completeness-via-Canonicity
Abstract
We present the technique of completeness-via-canonicity in a coalgebraic setting and apply it to both positive and boolean coalgebraic logics with relational semantics.
Domains
Computer Science [cs]Origin | Files produced by the author(s) |
---|
Loading...