Counterpart semantics for a second-order \(\mu\)-calculus (Q2898468)
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: Counterpart semantics for a second-order \(\mu\)-calculus |
scientific article; zbMATH DE number 6054486
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Counterpart semantics for a second-order \(\mu\)-calculus |
scientific article; zbMATH DE number 6054486 |
Statements
11 July 2012
0 references
quantified \(\mu\)-calculi
0 references
counterpart semantics
0 references
modal logics
0 references
graph transformation
0 references
labeled transition systems
0 references
0.9999999
0 references
0.8892423
0 references
0.8847263
0 references
0.88244206
0 references
0.8807953
0 references
0.8733868
0 references
0.8698877
0 references
Counterpart semantics for a second-order \(\mu\)-calculus (English)
0 references
