The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames (Q6160744)
From MaRDI portal
scientific article; zbMATH DE number 7691324
Language | Label | Description | Also known as |
---|---|---|---|
English | The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames |
scientific article; zbMATH DE number 7691324 |
Statements
The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames (English)
0 references
2 June 2023
0 references
\( \mu \)-calculus
0 references
fragments of the alternation hierarchy
0 references
topological modal logic
0 references
epistemic logic
0 references