Quantitative Hennessy-Milner theorems via notions of density

DOI10.4230/LIPICS.CSL.2023.22MaRDI QIDQ6610625

Pedro Nora, Dirk Hofmann, S. S. Goncharov, Paul Wild, Lutz Schröder, Jonas D. Förster

Publication date: 25 September 2024

zbMATH Keywords

coalgebradensityquantale-enriched categoriesbehavioural distancescharacteristic modal logicsHennessy-Milner theoremsStone-Weierstraß\ theorems

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (2)

Graded semantics and graded logics for Eilenberg-Moore coalgebras ⋮ Proving behavioural apartness

This page was built for publication: Quantitative Hennessy-Milner theorems via notions of density

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6610625)