Internal Models for Coalgebraic Modal Logics - Inria - Institut national de recherche en sciences et technologies du numérique
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

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⟩
69 Consultations
75 Téléchargements

Altmetric

Partager

More