Counterpart Semantics for a Second-Order μ-Calculus (Q2898468)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Counterpart Semantics for a Second-Order μ-Calculus |
scientific article |
Statements
Counterpart Semantics for a Second-Order μ-Calculus (English)
0 references
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
