Quantitative Hennessy-Milner Theorems via Notions of Density

Keyphrases

• Hennessy-Milner Theorem 100%
• Modal 40%
• Metric Space 40%
• Quantale 40%
• Quantitative Versions 40%
• Probabilistic Transition Systems 40%
• Concurrent Processes 20%
• Type Systems 20%
• Set Functor 20%
• Coalgebraic Logic 20%
• Borel Measure 20%
• Labelled Transition Systems 20%
• Weighted Metric 20%
• Behavioral Distances 20%
• Pseudometric Space 20%
• Value Quantale 20%
• Ultrametric 20%

Mathematics

• Metric Space 100%
• Functor 66%
• Wide Range 33%
• Borel Measure 33%
• Type Systems 33%
• Labelled Transition System 33%
• Taking Value 33%