%0 Conference Proceedings
%T Internal Models for Coalgebraic Modal Logics
%+ University of Southampton
%A Wilkinson, Toby
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS)
%C Tallinn, Estonia
%Y Dirk Pattinson
%Y Lutz Schröder
%I Springer
%3 Coalgebraic Methods in Computer Science
%V LNCS-7399
%P 238-258
%8 2012-03-31
%D 2012
%R 10.1007/978-3-642-32784-1_13
%K Coalgebra
%K Modal Logic
%K Dual Adjunction
%K Expressivity
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%2 https://inria.hal.science/hal-01539883/document
%2 https://inria.hal.science/hal-01539883/file/978-3-642-32784-1_13_Chapter.pdf
%L hal-01539883
%U https://inria.hal.science/hal-01539883
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-CMCS
%~ IFIP-LNCS-7399
%~ IFIP-ETAPS