Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
Bart Jacobs (2010)
RAIRO - Theoretical Informatics and Applications
Similarity:
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...