An institution of modal logics for coalgebras

DOI10.1016/J.JLAP.2005.09.004MaRDI QIDQ2369032zbMATH OpenOpenAlexFDO

Authors Corina Cîrstea

Publication date 28 April 2006

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://eprints.soton.ac.uk/261662/1/jlapfinal.pdf

zbMATH Keywords

CoalgebrasInstitutionsModal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Categorical logic, topoi (03G30) Abstract data types; algebraic specification (68Q65)

Review text

This paper develops an abstract model-theoretic framework for the specification of certain inductively-defined coalgebraic types, based on the so-called ``institutions of Goguen and Burstall. The resulting coalgebraic institution is shown to have freeness properties dual to those which are common for the algebraic specification institutions.

Recommendations

• Institutionalising many-sorted coalgebraic modal logic
• Modularity in coalgebra
• scientific article; zbMATH DE number 1753205
• scientific article; zbMATH DE number 1497872
• Translating logics for coalgebras.

Cites work

• Coalgebraic logic
• Expressive logics for coalgebras via terminal sequence induction
• scientific article; zbMATH DE number 1497872 (Why is no real title available?)
• scientific article; zbMATH DE number 1753205 (Why is no real title available?)
• Institutions: abstract model theory for specification and programming
• Many-sorted coalgebraic modal logic: A model-theoretic study
• On institutions for modular coalgebraic specifications.
• Specifying coalgebras with modal logic
• Terminal coalgebras in well-founded set theory
• Universal coalgebra: A theory of systems

Cited in

(7)

• Refinement in hybridised institutions
• Ultraproducts and possible worlds semantics in institutions
• Institutionalising many-sorted coalgebraic modal logic
• An institutional approach to positive coalgebraic logic
• scientific article; zbMATH DE number 1497872 (Why is no real title available?)
• Translating logics for coalgebras.
• Saturated models in institutions

This page was built for publication: An institution of modal logics for coalgebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2369032)