%0 Conference Proceedings
%T Coalgebraic Completeness-via-Canonicity
%+ University College of London [London] (UCL)
%A Dahlqvist, Fredrik
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS)
%C Eindhoven, Netherlands
%Y Ichiro Hasuo
%3 Coalgebraic Methods in Computer Science
%V LNCS-9608
%P 174-194
%8 2016-04-02
%D 2016
%R 10.1007/978-3-319-40370-0_11
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 1
%Z WG 1.3
%2 https://inria.hal.science/hal-01446026/document
%2 https://inria.hal.science/hal-01446026/file/418352_1_En_11_Chapter.pdf
%L hal-01446026
%U https://inria.hal.science/hal-01446026
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC1
%~ IFIP-LNCS-9608
%~ IFIP-WG1-3
%~ IFIP-CMCS