Quantitative Hennessy-Milner theorems via notions of density (Q6610625)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Quantitative Hennessy-Milner theorems via notions of density |
scientific article; zbMATH DE number 7918701
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Quantitative Hennessy-Milner theorems via notions of density |
scientific article; zbMATH DE number 7918701 |
Statements
Quantitative Hennessy-Milner theorems via notions of density (English)
0 references
25 September 2024
0 references
behavioural distances
0 references
coalgebra
0 references
characteristic modal logics
0 references
density
0 references
Hennessy-Milner theorems
0 references
quantale-enriched categories
0 references
Stone-Weierstraß\ theorems
0 references