Hennessy-Milner theorems via Galois connections

DOI10.4230/LIPICS.CSL.2023.12MaRDI QIDQ6610613FDOQ6610613

Barbara König, Sebastian Gurke, Harsh Beohar, Karla Messing

Publication date: 25 September 2024

zbMATH Keywords

Galois connectionsmodal logicsbehavioural equivalences and metrics

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cited In (2)

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

This page was built for publication: Hennessy-Milner theorems via Galois connections

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