On the \(\mu \)-calculus over transitive and finite transitive frames (Q606994)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the \(\mu \)-calculus over transitive and finite transitive frames |
scientific article |
Statements
On the \(\mu \)-calculus over transitive and finite transitive frames (English)
0 references
19 November 2010
0 references
fixed points
0 references
modal \(\mu \)-calculus
0 references
alternation hierarchy
0 references
collapse
0 references
finite transitive frames
0 references
Büchi and co-Büchi definable
0 references
