Coalgebraic Logics & Duality - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2018

Coalgebraic Logics & Duality

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
Vignette du fichier
473364_1_En_2_Chapter.pdf (218.75 Ko) Télécharger le fichier
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

Télécharger pour visualiser

Dates et versions

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

Licence

Paternité

Identifiants

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
62 Consultations
124 Téléchargements

Altmetric

Partager

More