Coalgebraic Logics & Duality - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2018

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.
Fichier principal
Vignette du fichier
473364_1_En_2_Chapter.pdf (218.75 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02044643 , version 1 (21-02-2019)

Licence

Attribution

Identifiers

Cite

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⟩
42 View
100 Download

Altmetric

Share

Gmail Facebook X LinkedIn More