Internal Models for Coalgebraic Modal Logics - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Internal Models for Coalgebraic Modal Logics

Toby Wilkinson
  • Fonction : Auteur
  • PersonId : 1010362

Résumé

We present ongoing work into the systematic study of the use of dual adjunctions in coalgebraic modal logic. We introduce a category of internal models for a modal logic. These are constructed from syntax, and yield a generalised notion of canonical model. Further, expressivity of a modal logic is shown to be characterised by factorisation of its models via internal models and the existence of cospans of internal models.
Fichier principal
Vignette du fichier
978-3-642-32784-1_13_Chapter.pdf (370.51 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01539883 , version 1 (15-06-2017)

Licence

Paternité

Identifiants

Citer

Toby Wilkinson. Internal Models for Coalgebraic Modal Logics. 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.238-258, ⟨10.1007/978-3-642-32784-1_13⟩. ⟨hal-01539883⟩
48 Consultations
56 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More