Coalgebraic Logics & Duality

Clemens Kupke

doi:10.1007/978-3-030-00389-0_2

Conference Papers Year : 2018

Coalgebraic Logics & Duality

(1)

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

473364_1_En_2_Chapter.pdf (218.75 Ko)

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

Dates and versions

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

Licence

Attribution

Identifiers

HAL Id : hal-02044643 , version 1
DOI : 10.1007/978-3-030-00389-0_2

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

44 View

104 Download

Coalgebraic Logics & Duality

Abstract

Domains

Dates and versions

Licence

Identifiers

Cite

Export

Collections

Altmetric

Share