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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [23 references]  Display  Hide  Download

https://hal.inria.fr/hal-01446026
Contributor : Hal Ifip <>
Submitted on : Wednesday, January 25, 2017 - 3:24:12 PM
Last modification on : Wednesday, January 25, 2017 - 3:31:58 PM
Long-term archiving on : Wednesday, April 26, 2017 - 3:32:02 PM

File

418352_1_En_11_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Fredrik Dahlqvist. Coalgebraic Completeness-via-Canonicity. 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.174-194, ⟨10.1007/978-3-319-40370-0_11⟩. ⟨hal-01446026⟩

Share

Metrics

Record views

57

Files downloads

103