Hennessy-Milner properties via topological compactness (Q2672663)
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: Hennessy-Milner properties via topological compactness |
scientific article; zbMATH DE number 7540279
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hennessy-Milner properties via topological compactness |
scientific article; zbMATH DE number 7540279 |
Statements
Hennessy-Milner properties via topological compactness (English)
0 references
13 June 2022
0 references
bisimulation
0 references
Hennessy-Milner property
0 references
intuitionistic logic
0 references
bi-intuitionistic logic
0 references
modal logic
0 references
0.7365899
0 references
0.7158719
0 references
0.71560234
0 references
0.71017176
0 references
0.70807123
0 references
0 references