On a categorical framework for coalgebraic modal logic

Research output: Contribution to journalArticle

Authors

Colleges, School and Institutes

Abstract

A category of one-step semantics is introduced to unify different approaches to coalgebraic logic parametric in a contravariant functor that assigns to the state space its collection of predicates with propositional connectives. Modular constructions of coalgebraic logic are identified as colimits, limits, and tensor products, extending known results for predicate liftings. Generalised predicate liftings as modalities are introduced. Under common assumptions, the logic of all predicate liftings together with a complete axiomatisation exists for any type of coalgebras, and it is one-step expressive for finitary functors. Colimits and compositions of one-step expressive coalgebraic logics are shown to remain one-step expressive.

Details

Original languageEnglish
Pages (from-to)109-128
JournalElectronic Notes in Theoretical Computer Science
Volume308
Early online date27 Oct 2014
Publication statusPublished - 29 Oct 2014

Keywords

  • Predicate liftings, coalgebras, coalgebraic logic, modal logic, Stone duality, compositionality, expressivity