Coalgebraic Logics & Duality - Coalgebraic Methods in Computer Science
Conference Papers Year : 2018

Coalgebraic Logics & Duality

Clemens Kupke
  • Function : Author
  • PersonId : 1043052
Department of Computer and Information Sciences [Univ Strathclyde]

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.

Domains

Computer Science [cs]
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)

Hal Ifip  : Connect in order to contact the contributor

https://inria.hal.science/hal-02044643

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

Download

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFIP-LNCS IFIP IFIP-TC IFIP-TC1 IFIP-WG1-3 IFIP-CMCS IFIP-LNCS-11202
67 View
129 Download

Altmetric

Share

More