%0 Conference Proceedings
%T Coalgebraic Logics & Duality
%+ Department of Computer and Information Sciences [Univ Strathclyde]
%A Kupke, Clemens
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 14th International Workshop on Coalgebraic Methods in Computer Science (CMCS)
%C Thessaloniki, Greece
%Y Corina Cîrstea
%I Springer International Publishing
%3 Coalgebraic Methods in Computer Science
%V LNCS-11202
%P 6-12
%8 2018-04-14
%D 2018
%R 10.1007/978-3-030-00389-0_2
%Z Computer Science [cs]Conference papers
%X I will provide a brief introduction to coalgebraic modal logics and highlight a few central concepts concerning these logics. After that I will outline my current research in the area.
%G English
%Z TC 1
%Z WG 1.3
%2 https://inria.hal.science/hal-02044643/document
%2 https://inria.hal.science/hal-02044643/file/473364_1_En_2_Chapter.pdf
%L hal-02044643
%U https://inria.hal.science/hal-02044643
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC1
%~ IFIP-WG1-3
%~ IFIP-CMCS
%~ IFIP-LNCS-11202