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. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1016/j.entcs.2014.10.007 | Electronic Notes in Theoretical Computer Science |
Keywords | Field | DocType |
Predicate liftings,coalgebras,coalgebraic logic,modal logic,Stone duality,compositionality,expressivity | Discrete mathematics,Predicate variable,Computer science,Pure mathematics,Description logic,Functor,Finitary,Modal logic,Predicate functor logic,Predicate logic,Higher-order logic | Journal |
Volume | Issue | ISSN |
308 | C | 1571-0661 |
Citations | PageRank | References |
1 | 0.36 | 21 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Liang-Ting Chen | 1 | 11 | 2.71 |
Achim Jung | 2 | 11 | 3.29 |