Use this URL to cite or link to this record in EThOS: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.600294
Title: On a purely categorical framework for coalgebraic modal logic
Author: Chen, Liang-Ting
ISNI:       0000 0004 5350 7315
Awarding Body: University of Birmingham
Current Institution: University of Birmingham
Date of Award: 2014
Availability of Full Text:
Access from EThOS:
Access from Institution:
Abstract:
A category CoLog of distributive laws is introduced to unify different approaches to modal logic for coalgebras, based merely on the presence of a contravariant functor P that maps a state space to its collection of predicates. We show that categorical constructions, including colimits, limits, and compositions of distributive laws as a tensor product, in CoLog generalise and extend existing constructions given for Set coalgebraic logics and that the framework does not depend on any particular propositional logic or state space. In the case that P establishes a dual adjunction with its dual functor S, we show that a canonically defined coalgebraic logic exists for any type of coalgebras. We further restrict our discussion to finitary algebraic logics and study equational coalgebraic logics. Objects of predicate liftings are used to characterise equational coalgebraic logics. The expressiveness problem is studied via the mate correspondence, which gives an isomorphism between CoLog and the comma category from the pre-composition to the post-composition with S. Then, the modularity of the expressiveness is studied in the comma category via the notion of factorisation system.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID: uk.bl.ethos.600294  DOI: Not available
Keywords: QA75 Electronic computers. Computer science
Share: