scientific article; zbMATH DE number 1231627
From MaRDI portal
Publication:4222950
Recommendations
Cited in
(28)- Universal coalgebra: A theory of systems
- On institutions for modular coalgebraic specifications.
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic
- Algebraic-coalgebraic specification in CoCASL
- A modal proof theory for final polynomial coalgebras
- Equational coalgebraic logic
- Expressivity of Many-Valued Modal Logics, Coalgebraically
- Institutionalising many-sorted coalgebraic modal logic
- A syntactical approach to weak (bi-)simulation for coalgebras
- Editorial. Coalgebra and logic: a brief overview
- scientific article; zbMATH DE number 5872402 (Why is no real title available?)
- Interacting with Modal Logics in the Coq Proof Assistant
- Coalgebraic Modal Logic in CoCasl
- Modalities in the Stone age: a comparison of coalgebraic logics
- scientific article; zbMATH DE number 1231635 (Why is no real title available?)
- scientific article; zbMATH DE number 1497872 (Why is no real title available?)
- scientific article; zbMATH DE number 1497877 (Why is no real title available?)
- scientific article; zbMATH DE number 1753205 (Why is no real title available?)
- A Calculus of Terms for Coalgebras of Polynomial Functors
- Modal rules are co-implications
- Modal languages for coalgebras in a topological setting
- Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics
- Algebra and Coalgebra in Computer Science
- Specifying coalgebras with modal logic
- From modal logic to terminal coalgebras
- What is the coalgebraic analogue of Birkhoff's variety theorem?
- A compositional approach to defining logics for coalgebras
- Behavioral abstraction is hiding information
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4222950)
