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...