Coalgebraic Logics & Duality

Clemens Kupke

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

Communication Dans Un Congrès Année : 2018

Coalgebraic Logics & Duality

(1)

Clemens Kupke

Fonction : Auteur
PersonId : 1043052

Department of Computer and Information Sciences [Univ Strathclyde]

Résumé

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.

Domaines

Informatique [cs]

Fichier principal

473364_1_En_2_Chapter.pdf (218.75 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

Hal Ifip : Connectez-vous pour contacter le contributeur

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

Soumis le : jeudi 21 février 2019-15:41:06

Dernière modification le : mercredi 25 novembre 2020-17:10:02

Archivage à long terme le : mercredi 22 mai 2019-19:12:12

Dates et versions

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

Licence

Paternité

Identifiants

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

Citer

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⟩

Exporter

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 Consultations

103 Téléchargements

Coalgebraic Logics & Duality

Résumé

Domaines

Dates et versions

Licence

Identifiants

Citer

Exporter

Collections

Altmetric

Partager