Abstract
It is well know that the solution Z of a recursive domain equation, given by an endofunctor T, is the final T-coalgebra. This suggests a coalgebraic approach to obtain a logical representation of the observable properties of Z. The paper considers fibrations of frames and (modal) logics, arising through a set of predicate liftings. We discuss conditions, which ensure expressiveness of the resulting language (denotations of formulas determine a base of the frame over the final coalgebra). The framework is then instantiated with categories of domains, and we establish these conditions for a large class of locally continuous endofunctors. This can be seen as abs1.texa first step towards a final perspective on Abramsky's domain theory in logical form.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
