scientific article; zbMATH DE number 2196590

zbMath1083.03056MaRDI QIDQ5465440

Robert Goldblatt

Publication date: 22 August 2005

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

bisimulationtype theorybisimilarity of statescalculus of terms for operations on coalgebrascoalgebras of polynomial functors

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50)

Related Items (5)

Observational ultraproducts of polynomial coalgebras. ⋮ Coalgebraic semantics of modal logics: an overview ⋮ A modal proof theory for final polynomial coalgebras ⋮ Coalgebraic logics \& duality ⋮ Separation of clones of cooperations by cohyperidentities

This page was built for publication: