Geodesic
Many-sorted coalgebraic modal logic : a model-theoretic study
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 35 (2001) no. 1, pp. 31-59

Voir la notice de l'article provenant de la source Numdam

This paper gives a semantical underpinning for a many-sorted modal logic associated with certain dynamical systems, like transition systems, automata or classes in object-oriented languages. These systems will be described as coalgebras of so-called polynomial functors, built up from constants and identities, using products, coproducts and powersets. The semantical account involves Boolean algebras with operators indexed by polynomial functors, called MBAOs, for Many-sorted Boolean Algebras with Operators, combining standard (categorical) models of modal logic and of many-sorted predicate logic. In this setting we will see Lindenbaum MBAO models as initial objects, and canonical coalgebraic models of maximally consistent sets of formulas as final objects. They will be used to (re)prove completeness results, and Hennessey-Milner style characterisation results for the modal logic, first established by Rößiger.

Classification : 03G05, 03G30, 06E25
Keywords: modal logic, coalgebra, boolean algebra with operators 
@article{ITA_2001__35_1_31_0,
     author = {Jacobs, Bart},
     title = {Many-sorted coalgebraic modal logic : a model-theoretic study},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {31--59},
     publisher = {EDP-Sciences},
     volume = {35},
     number = {1},
     year = {2001},
     mrnumber = {1845874},
     zbl = {0984.03019},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/ITA_2001__35_1_31_0/}
}
TY  - JOUR
AU  - Jacobs, Bart
TI  - Many-sorted coalgebraic modal logic : a model-theoretic study
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 2001
SP  - 31
EP  - 59
VL  - 35
IS  - 1
PB  - EDP-Sciences
UR  - http://geodesic.mathdoc.fr/item/ITA_2001__35_1_31_0/
LA  - en
ID  - ITA_2001__35_1_31_0
ER  - 
%0 Journal Article
%A Jacobs, Bart
%T Many-sorted coalgebraic modal logic : a model-theoretic study
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2001
%P 31-59
%V 35
%N 1
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/item/ITA_2001__35_1_31_0/
%G en
%F ITA_2001__35_1_31_0
Jacobs, Bart. Many-sorted coalgebraic modal logic : a model-theoretic study. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 35 (2001) no. 1, pp. 31-59. http://geodesic.mathdoc.fr/item/ITA_2001__35_1_31_0/