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. © 2012 IFIP International Federation for Information Processing.
CITATION STYLE
Wilkinson, T. (2012). Internal models for coalgebraic modal logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7399 LNCS, pp. 238–258). https://doi.org/10.1007/978-3-642-32784-1_13
Mendeley helps you to discover research relevant for your work.