scientific article; zbMATH DE number 2196590
From MaRDI portal
Publication:5465440
bisimilarity of statesbisimulationcalculus of terms for operations on coalgebrascoalgebras of polynomial functorstype theory
Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Applications of universal algebra in computer science (08A70) Categorical semantics of formal languages (18C50) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
- Equational coalgebraic logic
- Equational axiomatizability for coalgebra
- Coalgebraic predicate logic: equipollence results and proof theory
- A Kleene Theorem for Polynomial Coalgebras
- Equational and implicational classes of coalgebras
- A modal proof theory for final polynomial coalgebras
- Algebraic semantics for coalgebraic logics
- Cofree coalgebras and differential linear logic
- On the equational theory of representable polyadic equality algebras
- Polynomial semantics for modal logics
Cited in
(15)- Separation of clones of cooperations by cohyperidentities
- Observational ultraproducts of polynomial coalgebras.
- Duality for some categories of coalgebras.
- Coalgebraic logics \& duality
- A modal proof theory for final polynomial coalgebras
- Polynomials, Fragments of Temporal Logic and the Variety DA over Traces
- scientific article; zbMATH DE number 1189282 (Why is no real title available?)
- scientific article; zbMATH DE number 2063220 (Why is no real title available?)
- Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic
- Bisimulation proof methods in a path-based specification language for polynomial coalgebras
- Equational axiomatizability for coalgebra
- What is the coalgebraic analogue of Birkhoff's variety theorem?
- Sound and complete equational reasoning over comodels
- Coalgebraic semantics of modal logics: an overview
- Polynomials, fragments of temporal logic and the variety DA over traces
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 Q5465440)
