Final coalgebras and the Hennessy-Milner property

DOI10.1016/j.apal.2005.06.006zbMath1099.03019OpenAlexW2151880956MaRDI QIDQ2576941

Robert Goldblatt

Publication date: 29 December 2005

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2005.06.006

zbMATH Keywords

process algebrabisimulationcongruencefinal coalgebraformal logicHennessy-Milner logicbisimilarityabstract logicscoinductivefinal object

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) 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

Coalgebras for fuzzy transition systems ⋮ Characterising Behavioural Equivalence: Three Sides of One Coin ⋮ Coalgebraic semantics of modal logics: an overview ⋮ Substantive assumptions in interaction: a logical perspective ⋮ Specifying coalgebras with modal logic ⋮ A modal proof theory for final polynomial coalgebras ⋮ Coalgebraic logics \& duality ⋮ Saturated Kripke structures as Vietoris coalgebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Calculi for synchrony and asynchrony
• Co-induction in relational semantics
• A small final coalgebra theorem
• Universal coalgebra: A theory of systems
• Terminal coalgebras in well-founded set theory
• Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
• Algebraic laws for nondeterminism and concurrency
• An approach to object semantics based on terminal co-algebras
• A final coalgebra theorem
• Subequalizers
• Equational and implicational classes of coalgebras
• Specifying coalgebras with modal logic
• From modal logic to terminal coalgebras