Skip to Main content Skip to Navigation
Conference papers

Coalgebraic Logics & Duality

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

Cited literature [46 references]  Display  Hide  Download

https://hal.inria.fr/hal-02044643
Contributor : Hal Ifip <>
Submitted on : Thursday, February 21, 2019 - 3:41:06 PM
Last modification on : Wednesday, November 25, 2020 - 5:10:02 PM
Long-term archiving on: : Wednesday, May 22, 2019 - 7:12:12 PM

File

473364_1_En_2_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Clemens Kupke. Coalgebraic Logics & Duality. 14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.6-12, ⟨10.1007/978-3-030-00389-0_2⟩. ⟨hal-02044643⟩

Share

Metrics

Record views

67

Files downloads

37