On a categorical framework for coalgebraic modal logic

Liang-ting Chen, Achim Jung

Research output: Contribution to journalArticlepeer-review

4 Citations (Scopus)
146 Downloads (Pure)

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.
Original languageEnglish
Pages (from-to)109-128
JournalElectronic Notes in Theoretical Computer Science
Volume308
Early online date27 Oct 2014
DOIs
Publication statusPublished - 29 Oct 2014

Keywords

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

Fingerprint

Dive into the research topics of 'On a categorical framework for coalgebraic modal logic'. Together they form a unique fingerprint.

Cite this