Skip to Main content Skip to Navigation
Conference papers

Internal Models for Coalgebraic Modal Logics

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.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-01539883
Contributor : Hal Ifip <>
Submitted on : Thursday, June 15, 2017 - 3:02:46 PM
Last modification on : Saturday, June 8, 2019 - 2:20:03 PM
Long-term archiving on: : Wednesday, December 13, 2017 - 12:31:24 PM

File

978-3-642-32784-1_13_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

93

Files downloads

324