Internal Models for Coalgebraic Modal Logics - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Internal Models for Coalgebraic Modal Logics

Toby Wilkinson
  • Function : Author
  • PersonId : 1010362

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Licence

Attribution

Identifiers

Cite

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⟩
50 View
56 Download

Altmetric

Share

Gmail Facebook X LinkedIn More