Structural operational semantics and modal logic, revisited (Q2919456)
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: Structural operational semantics and modal logic, revisited |
scientific article; zbMATH DE number 6089946
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Structural operational semantics and modal logic, revisited |
scientific article; zbMATH DE number 6089946 |
Statements
2 October 2012
0 references
structural operational semantics
0 references
modal logic
0 references
coalgebra
0 references
0.9360383
0 references
0.91790664
0 references
0.91442484
0 references
0.90908426
0 references
0.9031637
0 references
Structural operational semantics and modal logic, revisited (English)
0 references
